Skip to content

Actions: OCamlPro/symbocalypse

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
107 workflow runs
107 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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-debian-unstable #42: Commit b007a31 pushed by redianthus
53s main
main
53s
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
Add back solver cmdline option for owi build-debian-unstable #41: Pull request #34 opened by hra687261
52s hra687261:add_solver
hra687261:add_solver
52s
Merge pull request #33 from hra687261/typo build-nix #40: Commit ba11e41 pushed by hra687261
3m 1s main
main
3m 1s
Merge pull request #33 from hra687261/typo build-debian-unstable #40: Commit ba11e41 pushed by hra687261
41s main
main
41s
add shell.nix build-debian-unstable #39: Commit dc26c2c pushed by redianthus
53s main
main
53s
add shell.nix build-nix #39: Commit dc26c2c pushed by redianthus
3m 7s main
main
3m 7s
update .gitignore build-debian-unstable #38: Commit 48690d2 pushed by redianthus
54s main
main
54s
update .gitignore build-nix #38: Commit 48690d2 pushed by redianthus
2m 39s main
main
2m 39s
fix typo build-debian-unstable #37: Commit 4d96b59 pushed by redianthus
50s main
main
50s
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
Fix typo in tool command generation build-debian-unstable #36: Pull request #33 opened by hra687261
30m 17s hra687261:typo
hra687261:typo
30m 17s
Add smtzilla as a subrepo build-debian-unstable #35: Pull request #32 opened by hra687261
28m 3s hra687261:add_smtzilla
hra687261:add_smtzilla
28m 3s
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 build-debian-unstable #34: Commit d5d892b pushed by redianthus
29m 22s main
main
29m 22s
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
Use with_ffi for wasm btree build-debian-unstable #33: Pull request #31 opened by S41d
28m 23s S41d:fix-wasm-btree
S41d:fix-wasm-btree
28m 23s
refactor bench stuff out of cmd modules build-nix #32: Commit 3b8f7a7 pushed by redianthus
1m 12s main
main
1m 12s
refactor bench stuff out of cmd modules build-debian-unstable #32: Commit 3b8f7a7 pushed by redianthus
28m 58s main
main
28m 58s
Wasm btree build-debian-unstable #31: Pull request #30 opened by S41d
26m 22s S41d:wasm-btree
S41d:wasm-btree
26m 22s
Wasm btree build-nix #31: Pull request #30 opened by S41d
1m 15s S41d:wasm-btree
S41d:wasm-btree
1m 15s
update owi build-debian-unstable #30: Commit f293c66 pushed by redianthus
28m 23s main
main
28m 23s