Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
784 workflow runs
784 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
[external-ci] point SPHINCS+ job to formosa repo Build documentation #786: Pull request #1036 synchronize by strub
3m 55s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
3m 55s
[chore] fix unused unfold warnings Build documentation #785: Pull request #1042 synchronize by fdupress
7m 11s fix-unused-unfold
fix-unused-unfold
7m 11s
[chore] fix unused unfold warnings Build documentation #784: Pull request #1042 synchronize by fdupress
3m 53s fix-unused-unfold
fix-unused-unfold
3m 53s
Warn on useless unfolds by default Build documentation #783: Commit 6890b87 pushed by github-merge-queue Bot
3m 45s main
main
3m 45s
[chore] fix unused unfold warnings Build documentation #782: Pull request #1042 synchronize by fdupress
3m 32s fix-unused-unfold
fix-unused-unfold
3m 32s
[chore] fix unused unfold warnings Build documentation #781: Pull request #1042 opened by fdupress
4m 4s fix-unused-unfold
fix-unused-unfold
4m 4s
[external-ci] point SPHINCS+ job to formosa repo Build documentation #780: Pull request #1036 synchronize by fdupress
4m 13s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
4m 13s
phl: reorganize the program logic into a recheckable four-layer structure Build documentation #779: Pull request #1041 synchronize by strub
3m 55s refactor-pl
refactor-pl
3m 55s
phl: reorganize the program logic into a recheckable four-layer structure Build documentation #778: Pull request #1041 synchronize by strub
5m 22s refactor-pl
refactor-pl
5m 22s
feat(phl): support backward ecall on bdHoare/phoare goals Build documentation #777: Commit 1475d82 pushed by github-merge-queue Bot
4m 23s main
main
4m 23s
feat(phl): support backward ecall on bdHoare/phoare goals Build documentation #776: Pull request #1031 synchronize by strub
6m 2s ecall-phoare-bwd
ecall-phoare-bwd
6m 2s
feat(phl): support backward ecall on bdHoare/phoare goals Build documentation #775: Pull request #1031 synchronize by strub
4m 3s ecall-phoare-bwd
ecall-phoare-bwd
4m 3s
proc change: well-formed goals when introducing fresh locals Build documentation #774: Commit d846247 pushed by github-merge-queue Bot
3m 57s main
main
3m 57s
phl: reorganize the program logic into a recheckable four-layer structure Build documentation #773: Pull request #1041 opened by strub
3m 59s refactor-pl
refactor-pl
3m 59s
proc change: well-formed goals when introducing fresh locals Build documentation #772: Pull request #1040 opened by strub
4m 2s fix-1026
fix-1026
4m 2s
smt: add [smt_inline] operator tag to δ/β-reduce at use sites Build documentation #771: Pull request #1039 synchronize by strub
3m 58s fix-1033
fix-1033
3m 58s
smt: add [smt_inline] operator tag to δ/β-reduce at use sites Build documentation #770: Pull request #1039 opened by strub
3m 52s fix-1033
fix-1033
3m 52s
ecall: avoid internal name collision in abstract_pvs Build documentation #769: Commit 6669be1 pushed by strub
4m 31s main
main
4m 31s
ecall: avoid internal name collision in abstract_pvs Build documentation #768: Pull request #1038 opened by strub
3m 57s ecall-dup-logvar
ecall-dup-logvar
3m 57s
[external-ci] point SPHINCS+ job to formosa repo Build documentation #767: Pull request #1036 opened by fdupress
3m 58s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
3m 58s
[ci] hotfix for the one untested path in docker PR Build documentation #766: Commit c64f7a3 pushed by fdupress
4m 15s main
main
4m 15s
[ci] hotfix for the one untested path in docker PR Build documentation #765: Pull request #1035 synchronize by fdupress
3m 57s hotfix-docker
hotfix-docker
3m 57s
[ci] hotfix for the one untested path in docker PR Build documentation #764: Pull request #1035 synchronize by fdupress
5m 48s hotfix-docker
hotfix-docker
5m 48s
[ci] hotfix for the one untested path in docker PR Build documentation #763: Pull request #1035 opened by fdupress
3m 58s hotfix-docker
hotfix-docker
3m 58s
simplify some smt calls Build documentation #762: Commit f644a86 pushed by github-merge-queue Bot
3m 57s main
main
3m 57s