Skip to content

Actions: cvc5/ethos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,823 workflow runs
1,823 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: Upgrade macOS runners to macOS 15 (#180) CI #2538: Commit 7ff8eac pushed by hansjoergschurr
4m 19s main
main
4m 19s
Add draft of standard definitions of list operators to user manual and as a regression CI #2537: Pull request #152 synchronize by ajreynol
2m 32s listDefStdReg
listDefStdReg
2m 32s
Fix CI #2536: Commit faa6d62 pushed by ajreynol
2m 56s listDefStdReg
listDefStdReg
2m 56s
Add draft of standard definitions of list operators to user manual and as a regression CI #2535: Pull request #152 synchronize by ajreynol
2m 41s listDefStdReg
listDefStdReg
2m 41s
More CI #2534: Commit b196b56 pushed by ajreynol
4m 45s listDefStdReg
listDefStdReg
4m 45s
Add draft of standard definitions of list operators to user manual and as a regression CI #2533: Pull request #152 synchronize by ajreynol
54s listDefStdReg
listDefStdReg
54s
Remove from manual CI #2532: Commit 2537ade pushed by ajreynol
2m 29s listDefStdReg
listDefStdReg
2m 29s
Add draft of standard definitions of list operators to user manual and as a regression CI #2531: Pull request #152 synchronize by ajreynol
5m 37s listDefStdReg
listDefStdReg
5m 37s
Apply suggestions from code review CI #2530: Commit cc312c3 pushed by ajreynol
2m 30s listDefStdReg
listDefStdReg
2m 30s
Add non-singleton versions of assoc-nil operators CI #2529: Pull request #182 synchronize by ajreynol
3m 0s nsNil
nsNil
3m 0s
More CI #2528: Commit 8cb8e8f pushed by ajreynol
2m 35s nsNil
nsNil
2m 35s
Add non-singleton versions of assoc-nil operators CI #2527: Pull request #182 synchronize by ajreynol
2m 30s nsNil
nsNil
2m 30s
Manual CI #2526: Commit 7b79464 pushed by ajreynol
2m 35s nsNil
nsNil
2m 35s
Add non-singleton versions of assoc-nil operators CI #2525: Pull request #182 synchronize by ajreynol
2m 30s nsNil
nsNil
2m 30s
Minor CI #2524: Commit 2cc281b pushed by ajreynol
3m 52s nsNil
nsNil
3m 52s
Add non-singleton versions of assoc-nil operators CI #2523: Pull request #182 opened by ajreynol
2m 41s nsNil
nsNil
2m 41s
More CI #2522: Commit 82ea803 pushed by ajreynol
6m 8s nsNil
nsNil
6m 8s
Format CI #2521: Commit a1e9fb3 pushed by ajreynol
1m 5s nsNil
nsNil
1m 5s
More CI #2520: Commit f1c13b8 pushed by ajreynol
2m 52s nsNil
nsNil
2m 52s
more CI #2519: Commit 52d8c59 pushed by ajreynol
2m 29s nsNil
nsNil
2m 29s
More CI #2518: Commit 926b972 pushed by ajreynol
5m 57s nsNil
nsNil
5m 57s
More CI #2517: Commit 04f3d4d pushed by ajreynol
3m 33s nsNil
nsNil
3m 33s
Forbid evaluation in types of parameters CI #2516: Pull request #173 synchronize by ajreynol
2m 40s guardEvalArg
guardEvalArg
2m 40s
Merge branch 'main' into guardEvalArg CI #2515: Commit 6f0ced3 pushed by ajreynol
2m 37s guardEvalArg
guardEvalArg
2m 37s
Forbid evaluation in premises and arguments of proof rules CI #2514: Commit d00b2a6 pushed by ajreynol
2m 40s ensureNoEval
ensureNoEval
2m 40s