Skip to content

Actions: EasyCrypt/easycrypt

Actions

Enforce single-commit PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
enforce-single-commit.yml
160 workflow runs
160 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 Enforce single-commit PR #160: Pull request #1036 opened by fdupress
7s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
7s
[ci] hotfix for the one untested path in docker PR Enforce single-commit PR #159: Pull request #1035 synchronize by fdupress
7s hotfix-docker
hotfix-docker
7s
[ci] hotfix for the one untested path in docker PR Enforce single-commit PR #158: Pull request #1035 synchronize by fdupress
5s hotfix-docker
hotfix-docker
5s
[ci] hotfix for the one untested path in docker PR Enforce single-commit PR #157: Pull request #1035 opened by fdupress
7s hotfix-docker
hotfix-docker
7s
Enforce single-commit PR Enforce single-commit PR #156: Merge group checks requested
6s
6s
Simplify some smt calls Enforce single-commit PR #155: Pull request #1025 synchronize by strub
5s flaky-smt
flaky-smt
5s
Warn on useless unfolds by default Enforce single-commit PR #154: Pull request #1034 opened by oskgo
6s default-und-delta
default-und-delta
6s
Enforce single-commit PR Enforce single-commit PR #153: Merge group checks requested
7s
7s
[ci] do not rebuild base or base-build in PR runs Enforce single-commit PR #152: Pull request #1008 synchronize by fdupress
6s ci-retrieve-base
ci-retrieve-base
6s
Fall back to checking equality of expressions in sim Enforce single-commit PR #151: Pull request #997 synchronize by oskgo
9s fix-990-2
fix-990-2
9s
Enforce single-commit PR Enforce single-commit PR #150: Merge group checks requested
6s
6s
Simplify some smt calls Enforce single-commit PR #149: Pull request #1025 synchronize by oskgo
6s flaky-smt
flaky-smt
6s
Enforce single-commit PR Enforce single-commit PR #148: Merge group checks requested
8s
8s
Bugfix: form_read track Fglob like Fpvar Enforce single-commit PR #147: Pull request #987 synchronize by strub
14s fix_form_read_fglob
fix_form_read_fglob
14s
Check equality of expressions up to convertibility Enforce single-commit PR #146: Pull request #996 synchronize by strub
7s fix-990
fix-990
7s
Fall back to checking equality of expressions in sim Enforce single-commit PR #145: Pull request #997 synchronize by strub
32s fix-990-2
fix-990-2
32s
[ci] do not rebuild base or base-build in PR runs Enforce single-commit PR #144: Pull request #1008 synchronize by strub
7s ci-retrieve-base
ci-retrieve-base
7s
Use auto unfold for some Logic operators Enforce single-commit PR #143: Pull request #1014 synchronize by strub
8s stdlib-auto-unfold
stdlib-auto-unfold
8s
Enforce single-commit PR Enforce single-commit PR #142: Merge group checks requested
7s
7s
Add named and local simplify hint databases Enforce single-commit PR #141: Pull request #954 synchronize by strub
8s hint-simplify-db
hint-simplify-db
8s
Add named and local simplify hint databases Enforce single-commit PR #140: Pull request #954 synchronize by strub
5s hint-simplify-db
hint-simplify-db
5s
Enforce single-commit PR Enforce single-commit PR #139: Merge group checks requested
5s
5s
Add named and local simplify hint databases Enforce single-commit PR #138: Pull request #954 synchronize by strub
8s hint-simplify-db
hint-simplify-db
8s
[ci] do not rebuild base or base-build in PR runs Enforce single-commit PR #137: Pull request #1008 synchronize by fdupress
8s ci-retrieve-base
ci-retrieve-base
8s
[runtest] list failing files Enforce single-commit PR #136: Pull request #1032 synchronize by fdupress
8s runtest-list-errors
runtest-list-errors
8s