Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,424 workflow runs
1,424 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
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
[ci] hotfix for the one untested path in docker PR EasyCrypt CI #5023: Pull request #1035 synchronize by fdupress
23m 52s hotfix-docker
hotfix-docker
23m 52s
[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