Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,448 workflow runs
1,448 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
[ci] hotfix for the one untested path in docker PR EasyCrypt CI #5022: Pull request #1035 synchronize by fdupress
22m 26s hotfix-docker
hotfix-docker
22m 26s
REVERT ME EasyCrypt CI #5021: Commit 3f54798 pushed by fdupress
3m 19s hotfix-docker
hotfix-docker
3m 19s
[ci] hotfix for the one untested path in docker PR EasyCrypt CI #5020: Pull request #1035 opened by fdupress
22m 23s hotfix-docker
hotfix-docker
22m 23s
simplify some smt calls EasyCrypt CI #5019: Commit f644a86 pushed by github-merge-queue Bot
42m 58s main
main
42m 58s
EasyCrypt CI EasyCrypt CI #5018: Merge group checks requested
23m 48s
23m 48s
Simplify some smt calls EasyCrypt CI #5017: Pull request #1025 synchronize by strub
23m 36s flaky-smt
flaky-smt
23m 36s
[ci] do not rebuild base-build in PR runs EasyCrypt CI #5016: Commit 9cf0a28 pushed by github-merge-queue Bot
30m 50s main
main
30m 50s
Warn on useless unfolds by default EasyCrypt CI #5015: Pull request #1034 opened by oskgo
29m 57s default-und-delta
default-und-delta
29m 57s
EasyCrypt CI EasyCrypt CI #5014: Merge group checks requested
23m 12s
23m 12s
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #5013: Pull request #1008 synchronize by fdupress
26m 15s ci-retrieve-base
ci-retrieve-base
26m 15s
ecPV.form_read: track Fglob reads alongside Fpvar EasyCrypt CI #5012: Commit 1aec83f pushed by github-merge-queue Bot
34m 33s main
main
34m 33s
reexport expr equality and use same dummy on both sides EasyCrypt CI #5011: Commit 38ca510 pushed by github-merge-queue Bot
31m 9s main
main
31m 9s
Fall back to checking equality of expressions in sim EasyCrypt CI #5010: Pull request #997 synchronize by oskgo
29m 12s fix-990-2
fix-990-2
29m 12s
EasyCrypt CI EasyCrypt CI #5009: Merge group checks requested
30m 25s
30m 25s
Simplify some smt calls EasyCrypt CI #5008: Pull request #1025 synchronize by oskgo
26m 35s flaky-smt
flaky-smt
26m 35s
EasyCrypt CI EasyCrypt CI #5007: Merge group checks requested
29m 36s
29m 36s
switch axiom replay to use exact rather than a custom apply variant EasyCrypt CI #5006: Commit 6804d83 pushed by github-merge-queue Bot
33m 15s main
main
33m 15s
Bugfix: form_read track Fglob like Fpvar EasyCrypt CI #5005: Pull request #987 synchronize by strub
31m 38s fix_form_read_fglob
fix_form_read_fglob
31m 38s
Check equality of expressions up to convertibility EasyCrypt CI #5004: Pull request #996 synchronize by strub
28m 33s fix-990
fix-990
28m 33s
Fall back to checking equality of expressions in sim EasyCrypt CI #5003: Pull request #997 synchronize by strub
28m 49s fix-990-2
fix-990-2
28m 49s
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #5002: Pull request #1008 synchronize by strub
24m 8s ci-retrieve-base
ci-retrieve-base
24m 8s
Use auto unfold for some Logic operators EasyCrypt CI #5001: Pull request #1014 synchronize by strub
30m 15s stdlib-auto-unfold
stdlib-auto-unfold
30m 15s
EasyCrypt CI EasyCrypt CI #5000: Merge group checks requested
30m 23s
30m 23s
Add named and local simplify hint databases EasyCrypt CI #4999: Pull request #954 synchronize by strub
27m 55s hint-simplify-db
hint-simplify-db
27m 55s
Add named and local simplify hint databases EasyCrypt CI #4998: Pull request #954 synchronize by strub
27m 24s hint-simplify-db
hint-simplify-db
27m 24s
ProTip! You can narrow down the results and go further in time using created:<2026-06-05 or the other filters available.