Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,113 workflow runs
1,113 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
feat(notations): add user-extensible notations EasyCrypt CI #4772: Pull request #985 synchronize by strub
17m 19s notations
notations
17m 19s
feat: add expect "..." by print ... command EasyCrypt CI #4771: Commit e74c002 pushed by github-merge-queue Bot
16m 58s main
main
16m 58s
EasyCrypt CI EasyCrypt CI #4770: Merge group checks requested
15m 37s
15m 37s
EasyCrypt CI EasyCrypt CI #4769: Merge group checks requested
16m 28s
16m 28s
feat: add expect "..." by print ... command EasyCrypt CI #4768: Pull request #986 opened by strub
17m 22s feat-expect-output
feat-expect-output
17m 22s
add error messages on some call failures EasyCrypt CI #4767: Pull request #984 synchronize by fdupress
21m 41s fix-983
fix-983
21m 41s
feat(notations): add user-extensible notations EasyCrypt CI #4766: Pull request #985 synchronize by strub
17m 35s notations
notations
17m 35s
feat(notations): add user-extensible notations EasyCrypt CI #4765: Pull request #985 synchronize by strub
17m 12s notations
notations
17m 12s
feat(notations): add user-extensible notations EasyCrypt CI #4764: Pull request #985 opened by strub
16m 32s notations
notations
16m 32s
add error messages on some call failures EasyCrypt CI #4763: Pull request #984 opened by fdupress
16m 43s fix-983
fix-983
16m 43s
contributions from Claude experiments EasyCrypt CI #4762: Pull request #982 opened by mbbarbosa
16m 55s claude_contributions
claude_contributions
16m 55s
Added prover quorum to project files and command line. EasyCrypt CI #4761: Commit 736f20d pushed by github-merge-queue Bot
16m 21s main
main
16m 21s
Make allperms_r opaque to work around #334 EasyCrypt CI #4760: Commit e2d5000 pushed by github-merge-queue Bot
16m 32s main
main
16m 32s
EasyCrypt CI EasyCrypt CI #4759: Merge group checks requested
16m 24s
16m 24s
EasyCrypt CI EasyCrypt CI #4758: Merge group checks requested
17m 15s
17m 15s
Added prover quorum to project files and command line. EasyCrypt CI #4757: Pull request #981 synchronize by strub
17m 15s project-quorums
project-quorums
17m 15s
Added prover quorum to project files and command line. EasyCrypt CI #4756: Pull request #981 synchronize by strub
16m 21s project-quorums
project-quorums
16m 21s
Added prover quorum to project files and command line. EasyCrypt CI #4755: Pull request #981 opened by alleystoughton
17m 30s project-quorums
project-quorums
17m 30s
[docker] provers: bump alt-ergo to 2.6.3 EasyCrypt CI #4754: Pull request #979 synchronize by fdupress
19m 54s prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
19m 54s
[docker] provers: bump alt-ergo to 2.6.3 EasyCrypt CI #4753: Pull request #979 synchronize by fdupress
3m 37s prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
3m 37s
REVERT ME EasyCrypt CI #4752: Commit 465309c pushed by fdupress
Failure prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
Failure
REVERT ME EasyCrypt CI #4751: Commit 538bd59 pushed by fdupress
Failure prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
Failure
[docker] provers: bump alt-ergo to 2.6.3 EasyCrypt CI #4750: Pull request #979 opened by fdupress
1h 4m 59s prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
1h 4m 59s
Work around #334 in definition of allperms EasyCrypt CI #4749: Pull request #975 synchronize by strub
21m 59s allperms-workaround
allperms-workaround
21m 59s
Work around #334 in definition of allperms EasyCrypt CI #4748: Pull request #975 synchronize by strub
19m 41s allperms-workaround
allperms-workaround
19m 41s