Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
765 workflow runs
765 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 #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
Add named and local simplify hint databases Build documentation #747: Pull request #954 synchronize by strub
3m 59s hint-simplify-db
hint-simplify-db
3m 59s
Add named and local simplify hint databases Build documentation #746: Pull request #954 synchronize by strub
3m 55s hint-simplify-db
hint-simplify-db
3m 55s
[runtest] list failing files Build documentation #745: Commit 053ee6e pushed by github-merge-queue Bot
4m 16s main
main
4m 16s
Add named and local simplify hint databases Build documentation #744: Pull request #954 synchronize by strub
3m 44s hint-simplify-db
hint-simplify-db
3m 44s
[ci] do not rebuild base or base-build in PR runs Build documentation #743: Pull request #1008 synchronize by fdupress
3m 30s ci-retrieve-base
ci-retrieve-base
3m 30s