Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
770 workflow runs
770 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
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
Simplify some smt calls Build documentation #761: Pull request #1025 synchronize by strub
3m 57s flaky-smt
flaky-smt
3m 57s
[ci] do not rebuild base-build in PR runs Build documentation #760: Commit 9cf0a28 pushed by github-merge-queue Bot
5m 38s main
main
5m 38s
Warn on useless unfolds by default Build documentation #759: Pull request #1034 opened by oskgo
3m 56s default-und-delta
default-und-delta
3m 56s
[ci] do not rebuild base or base-build in PR runs Build documentation #758: Pull request #1008 synchronize by fdupress
3m 35s ci-retrieve-base
ci-retrieve-base
3m 35s
ecPV.form_read: track Fglob reads alongside Fpvar Build documentation #757: Commit 1aec83f pushed by github-merge-queue Bot
3m 50s main
main
3m 50s
reexport expr equality and use same dummy on both sides Build documentation #756: Commit 38ca510 pushed by github-merge-queue Bot
4m 6s main
main
4m 6s
Fall back to checking equality of expressions in sim Build documentation #755: Pull request #997 synchronize by oskgo
3m 54s fix-990-2
fix-990-2
3m 54s
Simplify some smt calls Build documentation #754: Pull request #1025 synchronize by oskgo
3m 35s flaky-smt
flaky-smt
3m 35s
switch axiom replay to use exact rather than a custom apply variant Build documentation #753: Commit 6804d83 pushed by github-merge-queue Bot
4m 14s main
main
4m 14s
Bugfix: form_read track Fglob like Fpvar Build documentation #752: Pull request #987 synchronize by strub
6m 30s fix_form_read_fglob
fix_form_read_fglob
6m 30s
Check equality of expressions up to convertibility Build documentation #751: Pull request #996 synchronize by strub
5m 22s fix-990
fix-990
5m 22s
Fall back to checking equality of expressions in sim Build documentation #750: Pull request #997 synchronize by strub
26s fix-990-2
fix-990-2
26s
[ci] do not rebuild base or base-build in PR runs Build documentation #749: Pull request #1008 synchronize by strub
6m 5s ci-retrieve-base
ci-retrieve-base
6m 5s
Use auto unfold for some Logic operators Build documentation #748: Pull request #1014 synchronize by strub
4m 6s stdlib-auto-unfold
stdlib-auto-unfold
4m 6s