Skip to content

Actions: meelgroup/csb

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
151 workflow runs
151 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
feat: nosimp option build #77: Commit b8c87b1 pushed by arijitsh
1m 49s devel-simp
devel-simp
1m 49s
feat: nosimp option nix build #59: Commit b8c87b1 pushed by arijitsh
30m 11s devel-simp
devel-simp
30m 11s
build: configure.sh for pulling and making own dependency build #76: Commit 3f0632c pushed by arijitsh
2m 4s devel-simp
devel-simp
2m 4s
build: configure.sh for pulling and making own dependency nix build #58: Commit 3f0632c pushed by arijitsh
24m 3s devel-simp
devel-simp
24m 3s
more simplification nix build #57: Commit fd8f5a5 pushed by arijitsh
31m 21s devel-simp
devel-simp
31m 21s
more simplification build #75: Commit fd8f5a5 pushed by arijitsh
2m 6s devel-simp
devel-simp
2m 6s
fuzzing framework nix build #56: Commit c345a81 pushed by arijitsh
27m 51s devel-simp
devel-simp
27m 51s
fuzzing framework build #74: Commit c345a81 pushed by arijitsh
2m 3s devel-simp
devel-simp
2m 3s
towards adding model preserving simplifications build #73: Commit ef77599 pushed by arijitsh
2m 39s devel-simp
devel-simp
2m 39s
towards adding model preserving simplifications nix build #55: Commit ef77599 pushed by arijitsh
27m 17s devel-simp
devel-simp
27m 17s
options to enable specific simplifications build #72: Commit 9dfb454 pushed by arijitsh
1m 58s devel-simp
devel-simp
1m 58s
options to enable specific simplifications nix build #54: Commit 9dfb454 pushed by arijitsh
27m 39s devel-simp
devel-simp
27m 39s
ubuntu-arm smoke test fails [release] nix build #53: Commit 641e37e pushed by arijitsh
27m 18s main
main
27m 18s
ubuntu-arm smoke test fails [release] build #71: Commit 641e37e pushed by arijitsh
15m 2s main
main
15m 2s
macos 13 not available [release] build #70: Commit f0a23c1 pushed by arijitsh
2h 32m 20s main
main
2h 32m 20s
macos 13 not available [release] nix build #52: Commit f0a23c1 pushed by arijitsh
40m 27s main
main
40m 27s
flint building is necessary in ubuntu [release] build #69: Commit 91faf52 pushed by arijitsh
2m 24s main
main
2m 24s
flint building is necessary in ubuntu [release] nix build #51: Commit 91faf52 pushed by arijitsh
21m 11s main
main
21m 11s
update build settings and [release] nix build #50: Commit 5aad475 pushed by arijitsh
33m 28s main
main
33m 28s
update build settings and [release] build #68: Commit 5aad475 pushed by arijitsh
5m 59s main
main
5m 59s
try two build #67: Commit d62bc89 pushed by arijitsh
7m 0s fixbuild
fixbuild
7m 0s
try two nix build #49: Commit d62bc89 pushed by arijitsh
1s fixbuild
fixbuild
1s
use system flint nix build #48: Commit d1da5b8 pushed by arijitsh
2s fixbuild
fixbuild
2s
use system flint build #66: Commit d1da5b8 pushed by arijitsh
7m 35s fixbuild
fixbuild
7m 35s
Merge branch 'fixbuild' of github.com:meelgroup/csb into fixbuild build #65: Commit 5ded5d0 pushed by arijitsh
10m 4s fixbuild
fixbuild
10m 4s