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
178 workflow runs
178 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 #178: Pull request #1036 synchronize by strub
7s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
7s
[chore] fix unused unfold warnings Enforce single-commit PR #177: Pull request #1042 synchronize by fdupress
5s fix-unused-unfold
fix-unused-unfold
5s
[chore] fix unused unfold warnings Enforce single-commit PR #176: Pull request #1042 synchronize by fdupress
7s fix-unused-unfold
fix-unused-unfold
7s
Enforce single-commit PR Enforce single-commit PR #175: Merge group checks requested
7s
7s
[chore] fix unused unfold warnings Enforce single-commit PR #174: Pull request #1042 synchronize by fdupress
7s fix-unused-unfold
fix-unused-unfold
7s
[chore] fix unused unfold warnings Enforce single-commit PR #173: Pull request #1042 opened by fdupress
7s fix-unused-unfold
fix-unused-unfold
7s
[external-ci] point SPHINCS+ job to formosa repo Enforce single-commit PR #172: Pull request #1036 synchronize by fdupress
6s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
6s
phl: reorganize the program logic into a recheckable four-layer structure Enforce single-commit PR #171: Pull request #1041 synchronize by strub
6s refactor-pl
refactor-pl
6s
phl: reorganize the program logic into a recheckable four-layer structure Enforce single-commit PR #170: Pull request #1041 synchronize by strub
6s refactor-pl
refactor-pl
6s
Enforce single-commit PR Enforce single-commit PR #169: Merge group checks requested
7s
7s
feat(phl): support backward ecall on bdHoare/phoare goals Enforce single-commit PR #168: Pull request #1031 synchronize by strub
5s ecall-phoare-bwd
ecall-phoare-bwd
5s
feat(phl): support backward ecall on bdHoare/phoare goals Enforce single-commit PR #167: Pull request #1031 synchronize by strub
8s ecall-phoare-bwd
ecall-phoare-bwd
8s
Enforce single-commit PR Enforce single-commit PR #166: Merge group checks requested
11s
11s
phl: reorganize the program logic into a recheckable four-layer structure Enforce single-commit PR #165: Pull request #1041 opened by strub
8s refactor-pl
refactor-pl
8s
proc change: well-formed goals when introducing fresh locals Enforce single-commit PR #164: Pull request #1040 opened by strub
6s fix-1026
fix-1026
6s
smt: add [smt_inline] operator tag to δ/β-reduce at use sites Enforce single-commit PR #163: Pull request #1039 synchronize by strub
6s fix-1033
fix-1033
6s
smt: add [smt_inline] operator tag to δ/β-reduce at use sites Enforce single-commit PR #162: Pull request #1039 opened by strub
8s fix-1033
fix-1033
8s
ecall: avoid internal name collision in abstract_pvs Enforce single-commit PR #161: Pull request #1038 opened by strub
6s ecall-dup-logvar
ecall-dup-logvar
6s
[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