Skip to content

Actions: OCamlPro/symbocalypse

Actions

build-nix

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add back solver cmdline option for owi build-nix #42: Commit b007a31 pushed by redianthus
3m 8s main
main
3m 8s
Add back solver cmdline option for owi build-nix #41: Pull request #34 opened by hra687261
3m 27s hra687261:add_solver
hra687261:add_solver
3m 27s
Merge pull request #33 from hra687261/typo build-nix #40: Commit ba11e41 pushed by hra687261
3m 1s main
main
3m 1s
add shell.nix build-nix #39: Commit dc26c2c pushed by redianthus
3m 7s main
main
3m 7s
update .gitignore build-nix #38: Commit 48690d2 pushed by redianthus
2m 39s main
main
2m 39s
fix typo build-nix #37: Commit 4d96b59 pushed by redianthus
1m 8s main
main
1m 8s
Fix typo in tool command generation build-nix #36: Pull request #33 opened by hra687261
27s hra687261:typo
hra687261:typo
27s
Add smtzilla as a subrepo build-nix #35: Pull request #32 opened by hra687261
1m 10s hra687261:add_smtzilla
hra687261:add_smtzilla
1m 10s
use with_ffi build-nix #34: Commit d5d892b pushed by redianthus
1m 4s main
main
1m 4s
Use with_ffi for wasm btree build-nix #33: Pull request #31 opened by S41d
1m 1s S41d:fix-wasm-btree
S41d:fix-wasm-btree
1m 1s
refactor bench stuff out of cmd modules build-nix #32: Commit 3b8f7a7 pushed by redianthus
1m 12s main
main
1m 12s
Wasm btree build-nix #31: Pull request #30 opened by S41d
1m 15s S41d:wasm-btree
S41d:wasm-btree
1m 15s
update owi build-nix #30: Commit f293c66 pushed by redianthus
1m 10s main
main
1m 10s
update testcomp and the whitelist for it build-nix #29: Pull request #26 synchronize by redianthus
1m 10s S41d:update-testcomp
S41d:update-testcomp
1m 10s
update testcomp and the whitelist for it build-nix #28: Pull request #26 synchronize by S41d
1m 9s S41d:update-testcomp
S41d:update-testcomp
1m 9s
update testcomp and the whitelist for it build-nix #27: Pull request #26 synchronize by S41d
1m 2s S41d:update-testcomp
S41d:update-testcomp
1m 2s
update testcomp and the whitelist for it build-nix #26: Pull request #26 synchronize by S41d
1m 3s S41d:update-testcomp
S41d:update-testcomp
1m 3s
update testcomp and the whitelist for it build-nix #25: Pull request #26 opened by S41d
49s S41d:update-testcomp
S41d:update-testcomp
49s
update build-nix #24: Commit 236c505 pushed by redianthus
1m 11s main
main
1m 11s
better stats build-nix #23: Commit 4ac914e pushed by redianthus
1m 1s main
main
1m 1s
pfff build-nix #22: Commit 74aed1a pushed by redianthus
1m 7s main
main
1m 7s
fix typo build-nix #21: Commit 9f3f351 pushed by redianthus
1m 3s main
main
1m 3s
better parallelism stats build-nix #20: Commit 2b2141e pushed by redianthus
1m 11s main
main
1m 11s
more statistics build-nix #19: Commit acd6c40 pushed by redianthus
1m 8s main
main
1m 8s
more statistics build-nix #18: Commit 0d88d08 pushed by redianthus
1m 4s main
main
1m 4s