Skip to content

Actions: cvc5/logos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Draft of correctness proof for BV_ABSTRACT anoieu #77: Pull request #474 synchronize by ajreynol
13s bvAbstract
bvAbstract
13s
Draft of correctness proof for BV_ABSTRACT CI #4227: Pull request #474 synchronize by ajreynol
21m 13s bvAbstract
bvAbstract
21m 13s
Merge branch 'main' into bvAbstract anoieu #76: Commit 9fc7b92 pushed by ajreynol
13s bvAbstract
bvAbstract
13s
Draft of correctness proof for BV_ABSTRACT anoieu #75: Pull request #474 opened by ajreynol
11s bvAbstract
bvAbstract
11s
Draft of correctness proof for BV_ABSTRACT CI #4226: Pull request #474 opened by ajreynol
1m 47s bvAbstract
bvAbstract
1m 47s
Add parametric datatypes anoieu #74: Pull request #473 synchronize by ajreynol
15s parDt
parDt
15s
Add parametric datatypes CI #4225: Pull request #473 synchronize by ajreynol
11m 14s parDt
parDt
11m 14s
Different anoieu #73: Commit 592c36f pushed by ajreynol
10s parDt
parDt
10s
Add parametric datatypes anoieu #72: Pull request #473 synchronize by ajreynol
14s parDt
parDt
14s
Add parametric datatypes CI #4224: Pull request #473 synchronize by ajreynol
10m 21s parDt
parDt
10m 21s
Closer anoieu #71: Commit afbc11f pushed by ajreynol
17s parDt
parDt
17s
Add parametric datatypes anoieu #70: Pull request #473 synchronize by ajreynol
15s parDt
parDt
15s
Add parametric datatypes CI #4223: Pull request #473 synchronize by ajreynol
10m 51s parDt
parDt
10m 51s
Simpler anoieu #69: Commit f81be55 pushed by ajreynol
14s parDt
parDt
14s
Add parametric datatypes anoieu #68: Pull request #473 opened by ajreynol
12s parDt
parDt
12s
Add parametric datatypes CI #4222: Pull request #473 opened by ajreynol
5m 9s parDt
parDt
5m 9s
Para dt anoieu #67: Commit 308dfd4 pushed by ajreynol
10s parDt
parDt
10s
Compiled, first attempt anoieu #66: Commit 1fa8e30 pushed by ajreynol
12s parDt
parDt
12s
Parametric datatypes anoieu #65: Commit 28307e3 pushed by ajreynol
11s parDt
parDt
11s
Prune unecessary rules (#472) anoieu #64: Commit 49f4fd1 pushed by ajreynol
11s main
main
11s
Prune unecessary rules (#472) CI #4221: Commit 49f4fd1 pushed by ajreynol
21m 50s main
main
21m 50s
Prune unecessary rules anoieu #63: Pull request #472 opened by ajreynol
20s prune-0923
prune-0923
20s
Prune unecessary rules CI #4220: Pull request #472 opened by ajreynol
21m 27s prune-0923
prune-0923
21m 27s
Remove anoieu #62: Commit 9fecb26 pushed by ajreynol
12s prune-0923
prune-0923
12s
Prune unecessary rules anoieu #61: Commit e5971c3 pushed by ajreynol
15s prune-0923
prune-0923
15s