Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,481 workflow runs
1,481 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
[docker] add z3 5.1.0 EasyCrypt CI #5315: Commit 51d3646 pushed by fdupress
49m 1s main
main
49m 1s
[docker] add z3 5.1.0 EasyCrypt CI #5314: Pull request #1093 opened by fdupress
32m 13s docker-add-z3.5.1.0
docker-add-z3.5.1.0
32m 13s
Catch equiv deno error in high level tactics EasyCrypt CI #5313: Pull request #1092 opened by oskgo
30m 53s deanomalize-pr-deno
deanomalize-pr-deno
30m 53s
Use memory bound by Pr in fel post EasyCrypt CI #5312: Pull request #1091 opened by oskgo
29m 17s fix-1090
fix-1090
29m 17s
[chore] stabilise SMT and bump provers EasyCrypt CI #5311: Pull request #1084 synchronize by fdupress
34m 5s stabilise-smt
stabilise-smt
34m 5s
[chore] stabilise SMT and bump provers EasyCrypt CI #5310: Pull request #1084 synchronize by fdupress
34m 20s stabilise-smt
stabilise-smt
34m 20s
[chore] stabilise SMT and bump provers EasyCrypt CI #5309: Pull request #1084 synchronize by fdupress
35m 19s stabilise-smt
stabilise-smt
35m 19s
[chore] stabilise SMT and bump provers EasyCrypt CI #5308: Pull request #1084 synchronize by fdupress
32m 16s stabilise-smt
stabilise-smt
32m 16s
[chore] stabilise SMT and bump provers EasyCrypt CI #5307: Pull request #1084 synchronize by fdupress
33m 58s stabilise-smt
stabilise-smt
33m 58s
[chore] stabilise SMT and bump provers EasyCrypt CI #5306: Pull request #1084 synchronize by fdupress
33m 24s stabilise-smt
stabilise-smt
33m 24s
[chore] stabilise SMT and bump provers EasyCrypt CI #5305: Pull request #1084 synchronize by fdupress
34m 48s stabilise-smt
stabilise-smt
34m 48s
replay: redirect datatype constructors in match bodies too EasyCrypt CI #5304: Pull request #1089 opened by MavenRain
Action required MavenRain:1046-clone-datatype-match-redirect
MavenRain:1046-clone-datatype-match-redirect
Action required
[chore] stabilise SMT and bump provers EasyCrypt CI #5303: Pull request #1084 synchronize by fdupress
32m 21s stabilise-smt
stabilise-smt
32m 21s
[chore] stabilise SMT and bump provers EasyCrypt CI #5302: Pull request #1084 synchronize by fdupress
32m 25s stabilise-smt
stabilise-smt
32m 25s
[chore] stabilise SMT and bump provers EasyCrypt CI #5301: Pull request #1084 synchronize by fdupress
34m 21s stabilise-smt
stabilise-smt
34m 21s
[chore] stabilise SMT and bump provers EasyCrypt CI #5300: Pull request #1084 synchronize by fdupress
26m 4s stabilise-smt
stabilise-smt
26m 4s
[chore] stabilise SMT and bump provers EasyCrypt CI #5299: Pull request #1084 synchronize by fdupress
33m 19s stabilise-smt
stabilise-smt
33m 19s
Documentation for incremental module definitions EasyCrypt CI #5298: Pull request #1087 synchronize by Gustavo2622
31m 35s doc-module-update
doc-module-update
31m 35s
fix(typing): sound module updates on sub-module and applied-functor bases EasyCrypt CI #5297: Pull request #1086 synchronize by Gustavo2622
28m 7s fix-module-update-bases
fix-module-update-bases
28m 7s
Core: new lemmas: comp_idfunL, comp_idfunR (registered as simplify hi… EasyCrypt CI #5296: Commit 87b6f8b pushed by github-merge-queue Bot
47m 42s main
main
47m 42s
EasyCrypt CI EasyCrypt CI #5295: Merge group checks requested
25m 37s
25m 37s
Add custom dollar commands and math substitutions EasyCrypt CI #5294: Commit ad94f3f pushed by fdupress
52m 33s release
release
52m 33s
Add custom dollar commands and math substitutions EasyCrypt CI #5293: Commit ad94f3f pushed by fdupress
48m 40s latest
latest
48m 40s
Add custom dollar commands and math substitutions EasyCrypt CI #5292: Commit ad94f3f pushed by fdupress
47m 47s r2026.07
r2026.07
47m 47s
New lemmas: comp_idfunL, comp_idfunR. EasyCrypt CI #5291: Pull request #1088 opened by namasikanam
32m 40s core-idfun-comp
core-idfun-comp
32m 40s