Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,449 workflow runs
1,449 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
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… EasyCrypt CI #5048: Pull request #995 synchronize by mbbarbosa
23m 9s feature-zqcentered
feature-zqcentered
23m 9s
[external-ci] point SPHINCS+ job to formosa repo EasyCrypt CI #5047: Pull request #1036 synchronize by strub
26m 58s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
26m 58s
[chore] fix unused unfold warnings EasyCrypt CI #5046: Pull request #1042 synchronize by fdupress
25m 38s fix-unused-unfold
fix-unused-unfold
25m 38s
[chore] fix unused unfold warnings EasyCrypt CI #5045: Pull request #1042 synchronize by fdupress
23m 27s fix-unused-unfold
fix-unused-unfold
23m 27s
Warn on useless unfolds by default EasyCrypt CI #5044: Commit 6890b87 pushed by github-merge-queue Bot
37m 59s main
main
37m 59s
EasyCrypt CI EasyCrypt CI #5043: Merge group checks requested
23m 12s
23m 12s
[chore] fix unused unfold warnings EasyCrypt CI #5042: Pull request #1042 synchronize by fdupress
26m 19s fix-unused-unfold
fix-unused-unfold
26m 19s
[chore] fix unused unfold warnings EasyCrypt CI #5041: Pull request #1042 opened by fdupress
29m 3s fix-unused-unfold
fix-unused-unfold
29m 3s
[external-ci] point SPHINCS+ job to formosa repo EasyCrypt CI #5040: Pull request #1036 synchronize by fdupress
26m 54s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
26m 54s
phl: reorganize the program logic into a recheckable four-layer structure EasyCrypt CI #5039: Pull request #1041 synchronize by strub
23m 37s refactor-pl
refactor-pl
23m 37s
phl: reorganize the program logic into a recheckable four-layer structure EasyCrypt CI #5038: Pull request #1041 synchronize by strub
23m 45s refactor-pl
refactor-pl
23m 45s
feat(phl): support backward ecall on bdHoare/phoare goals EasyCrypt CI #5037: Commit 1475d82 pushed by github-merge-queue Bot
36m 48s main
main
36m 48s
EasyCrypt CI EasyCrypt CI #5036: Merge group checks requested
24m 55s
24m 55s
feat(phl): support backward ecall on bdHoare/phoare goals EasyCrypt CI #5035: Pull request #1031 synchronize by strub
22m 51s ecall-phoare-bwd
ecall-phoare-bwd
22m 51s
feat(phl): support backward ecall on bdHoare/phoare goals EasyCrypt CI #5034: Pull request #1031 synchronize by strub
24m 52s ecall-phoare-bwd
ecall-phoare-bwd
24m 52s
proc change: well-formed goals when introducing fresh locals EasyCrypt CI #5033: Commit d846247 pushed by github-merge-queue Bot
37m 53s main
main
37m 53s
EasyCrypt CI EasyCrypt CI #5032: Merge group checks requested
24m 52s
24m 52s
phl: reorganize the program logic into a recheckable four-layer structure EasyCrypt CI #5031: Pull request #1041 opened by strub
24m 8s refactor-pl
refactor-pl
24m 8s
proc change: well-formed goals when introducing fresh locals EasyCrypt CI #5030: Pull request #1040 opened by strub
23m 53s fix-1026
fix-1026
23m 53s
smt: add [smt_inline] operator tag to δ/β-reduce at use sites EasyCrypt CI #5029: Pull request #1039 synchronize by strub
21m 37s fix-1033
fix-1033
21m 37s
smt: add [smt_inline] operator tag to δ/β-reduce at use sites EasyCrypt CI #5028: Pull request #1039 opened by strub
25m 34s fix-1033
fix-1033
25m 34s
ecall: avoid internal name collision in abstract_pvs EasyCrypt CI #5027: Commit 6669be1 pushed by strub
34m 45s main
main
34m 45s
ecall: avoid internal name collision in abstract_pvs EasyCrypt CI #5026: Pull request #1038 opened by strub
23m 48s ecall-dup-logvar
ecall-dup-logvar
23m 48s
[external-ci] point SPHINCS+ job to formosa repo EasyCrypt CI #5025: Pull request #1036 opened by fdupress
25m 45s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
25m 45s
[ci] hotfix for the one untested path in docker PR EasyCrypt CI #5024: Commit c64f7a3 pushed by fdupress
36m 1s main
main
36m 1s
ProTip! You can narrow down the results and go further in time using created:<2026-06-05 or the other filters available.