Skip to content

Actions: input-output-hk/constrained-generators

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
912 workflow runs
912 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Speed up generation by threading seeds instead of splitting them in non-Gen part of GenT Nix Build #163: Pull request #57 synchronize by MaximilianAlgehed
1m 32s fast-genT
fast-genT
1m 32s
Speed up generation by threading seeds instead of splitting them in non-Gen part of GenT Haskell-CI #374: Pull request #57 synchronize by MaximilianAlgehed
9m 46s fast-genT
fast-genT
9m 46s
PR #57 CodeQL #275: by MaximilianAlgehed
47s refs/pull/57/head
refs/pull/57/head
47s
Haskell-CI Haskell-CI #373: Scheduled
36m 49s master
master
36m 49s
Speed up generation by threading seeds instead of splitting them in non-Gen part of GenT Haskell-CI #372: Pull request #57 opened by MaximilianAlgehed
3m 24s fast-genT
fast-genT
3m 24s
Speed up generation by threading seeds instead of splitting them in non-Gen part of GenT Nix Build #162: Pull request #57 opened by MaximilianAlgehed
1m 9s fast-genT
fast-genT
1m 9s
PR #57 CodeQL #274: by MaximilianAlgehed
1m 27s refs/pull/57/head
refs/pull/57/head
1m 27s
Haskell-CI Haskell-CI #371: Scheduled
44m 5s master
master
44m 5s
Optimise how we deal with either specs Haskell-CI #370: Pull request #54 synchronize by MaximilianAlgehed
7m 18s optimise-either
optimise-either
7m 18s
Optimise how we deal with either specs Nix Build #161: Pull request #54 synchronize by MaximilianAlgehed
1m 52s optimise-either
optimise-either
1m 52s
PR #54 CodeQL #273: by MaximilianAlgehed
1m 15s refs/pull/54/head
refs/pull/54/head
1m 15s
Optimise numspec Nix Build #160: Pull request #56 synchronize by MaximilianAlgehed
1m 46s optimise-numspec
optimise-numspec
1m 46s
Optimise numspec Haskell-CI #369: Pull request #56 synchronize by MaximilianAlgehed
8m 58s optimise-numspec
optimise-numspec
8m 58s
PR #56 CodeQL #272: by MaximilianAlgehed
56s refs/pull/56/head
refs/pull/56/head
56s
Optimise numspec Nix Build #159: Pull request #56 synchronize by MaximilianAlgehed
1m 51s optimise-numspec
optimise-numspec
1m 51s
Optimise numspec Haskell-CI #368: Pull request #56 synchronize by MaximilianAlgehed
8m 36s optimise-numspec
optimise-numspec
8m 36s
PR #56 CodeQL #271: by MaximilianAlgehed
51s refs/pull/56/head
refs/pull/56/head
51s
Optimise numspec Nix Build #158: Pull request #56 opened by MaximilianAlgehed
1m 43s optimise-numspec
optimise-numspec
1m 43s
Optimise numspec Haskell-CI #367: Pull request #56 opened by MaximilianAlgehed
8m 30s optimise-numspec
optimise-numspec
8m 30s
PR #56 CodeQL #270: by MaximilianAlgehed
47s refs/pull/56/head
refs/pull/56/head
47s
Haskell-CI Haskell-CI #366: Scheduled
44m 47s master
master
44m 47s
Optimise how we deal with either specs Nix Build #157: Pull request #54 synchronize by MaximilianAlgehed
1m 46s optimise-either
optimise-either
1m 46s
Optimise how we deal with either specs Haskell-CI #365: Pull request #54 synchronize by MaximilianAlgehed
8m 30s optimise-either
optimise-either
8m 30s
PR #54 CodeQL #269: by MaximilianAlgehed
57s refs/pull/54/head
refs/pull/54/head
57s
Optimise how we deal with either specs Haskell-CI #364: Pull request #54 synchronize by MaximilianAlgehed
9m 0s optimise-either
optimise-either
9m 0s