Skip to content

Actions: input-output-hk/constrained-generators

Actions

Nix Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-build.yml
191 workflow runs
191 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fourmolu (#60) Nix Build #191: Commit 9d0b00a pushed by MaximilianAlgehed
1m 37s master
master
1m 37s
Fourmolu Nix Build #190: Pull request #60 synchronize by MaximilianAlgehed
1m 30s fourmolu
fourmolu
1m 30s
Speed up generation by threading seeds instead of splitting them in n… Nix Build #189: Commit 1e1e1b4 pushed by MaximilianAlgehed
1m 39s master
master
1m 39s
Use hspec's parallel evaluation for test suite to speed up local testing Nix Build #188: Pull request #65 opened by MaximilianAlgehed
1m 31s parallel-testing
parallel-testing
1m 31s
Speed up generation by threading seeds instead of splitting them in non-Gen part of GenT Nix Build #187: Pull request #57 synchronize by MaximilianAlgehed
1m 29s fast-genT
fast-genT
1m 29s
Use nubOrd when possible (#61) Nix Build #186: Commit 2cda6b9 pushed by MaximilianAlgehed
1m 39s master
master
1m 39s
Use nubOrd when possible Nix Build #185: Pull request #61 synchronize by MaximilianAlgehed
2m 18s nubOrd
nubOrd
2m 18s
Use nubOrd when possible Nix Build #184: Pull request #61 synchronize by MaximilianAlgehed
1m 37s nubOrd
nubOrd
1m 37s
initial stab at speeding up maps with more optimistic first assumptio… Nix Build #183: Commit 139b21f pushed by MaximilianAlgehed
1m 43s master
master
1m 43s
Initial stab at speeding up maps with more optimistic first assumption Nix Build #182: Pull request #58 synchronize by MaximilianAlgehed
1m 41s speedup-map-generation
speedup-map-generation
1m 41s
Simplify runTermE (runtime-wise) (#63) Nix Build #181: Commit d203746 pushed by MaximilianAlgehed
1m 29s master
master
1m 29s
Simplify runTermE (runtime-wise) Nix Build #180: Pull request #63 synchronize by MaximilianAlgehed
1m 37s simplify_runTermE
simplify_runTermE
1m 37s
Simplify runTermE (runtime-wise) Nix Build #179: Pull request #63 opened by MaximilianAlgehed
1m 39s simplify_runTermE
simplify_runTermE
1m 39s
Use nubOrd when possible Nix Build #178: Pull request #61 opened by MaximilianAlgehed
1m 32s nubOrd
nubOrd
1m 32s
Initial stab at speeding up maps with more optimistic first assumption Nix Build #177: Pull request #58 synchronize by MaximilianAlgehed
1m 44s speedup-map-generation
speedup-map-generation
1m 44s
Speed up generation by threading seeds instead of splitting them in non-Gen part of GenT Nix Build #176: Pull request #57 synchronize by MaximilianAlgehed
1m 40s fast-genT
fast-genT
1m 40s
Speed up generation by threading seeds instead of splitting them in non-Gen part of GenT Nix Build #175: Pull request #57 synchronize by MaximilianAlgehed
1m 29s fast-genT
fast-genT
1m 29s
Speed up generation by threading seeds instead of splitting them in non-Gen part of GenT Nix Build #174: Pull request #57 synchronize by MaximilianAlgehed
1m 42s fast-genT
fast-genT
1m 42s
Use containers' scc algorithm to speed up findCycle (#59) Nix Build #173: Commit 3730642 pushed by MaximilianAlgehed
1m 41s master
master
1m 41s
Use containers' scc algorithm to speed up findCycle Nix Build #172: Pull request #59 synchronize by MaximilianAlgehed
1m 45s optimise-find-cycle
optimise-find-cycle
1m 45s
Optimise how we deal with either specs (#54) Nix Build #171: Commit f270750 pushed by MaximilianAlgehed
1m 43s master
master
1m 43s
Use containers' scc algorithm to speed up findCycle Nix Build #170: Pull request #59 synchronize by MaximilianAlgehed
1m 42s optimise-find-cycle
optimise-find-cycle
1m 42s
Fourmolu Nix Build #169: Pull request #60 synchronize by MaximilianAlgehed
1m 35s fourmolu
fourmolu
1m 35s
Fourmolu Nix Build #168: Pull request #60 synchronize by MaximilianAlgehed
1m 36s fourmolu
fourmolu
1m 36s
Fourmolu Nix Build #167: Pull request #60 synchronize by MaximilianAlgehed
1m 47s fourmolu
fourmolu
1m 47s