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
393 workflow runs
393 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
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
[runtest] list failing files Enforce single-commit PR #135: Pull request #1032 opened by fdupress
9s runtest-list-errors
runtest-list-errors
9s
feat(phl): support backward ecall on bdHoare/phoare goals Enforce single-commit PR #134: Pull request #1031 opened by mbbarbosa
10s ecall-phoare-bwd
ecall-phoare-bwd
10s
[distributions] in programmatic list sampling, make the distribution dynamic Enforce single-commit PR #133: Pull request #1030 synchronize by fdupress
9s generalise-dlist-program
generalise-dlist-program
9s
[distributions] in programmatic list sampling, make the distribution dynamic Enforce single-commit PR #132: Pull request #1030 opened by fdupress
6s generalise-dlist-program
generalise-dlist-program
6s
Switch axiom replay to use exact rather than a custom apply variant Enforce single-commit PR #131: Pull request #1029 opened by oskgo
9s simplify-clone-ax-replay
simplify-clone-ax-replay
9s
[cryptolib] generalize PRF definitions, PRP<->PRF Enforce single-commit PR #130: Pull request #1028 opened by fdupress
8s prf-generalise
prf-generalise
8s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Enforce single-commit PR #129: Pull request #752 synchronize by Gustavo2622
8s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
8s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Enforce single-commit PR #128: Pull request #752 synchronize by Gustavo2622
6s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
6s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Enforce single-commit PR #127: Pull request #752 synchronize by Gustavo2622
18s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
18s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Enforce single-commit PR #126: Pull request #752 synchronize by Gustavo2622
7s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Enforce single-commit PR #125: Pull request #752 synchronize by Gustavo2622
6s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
6s
Simplify some smt calls Enforce single-commit PR #124: Pull request #1025 opened by oskgo
7s flaky-smt
flaky-smt
7s
Use auto unfold for some Logic operators Enforce single-commit PR #123: Pull request #1014 synchronize by oskgo
9s stdlib-auto-unfold
stdlib-auto-unfold
9s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Enforce single-commit PR #122: Pull request #752 synchronize by Gustavo2622
6s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
6s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Enforce single-commit PR #121: Pull request #752 synchronize by strub
12s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
12s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Enforce single-commit PR #120: Pull request #752 synchronize by strub
7s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7s
Add named and local simplify hint databases Enforce single-commit PR #119: Pull request #954 synchronize by strub
6s hint-simplify-db
hint-simplify-db
6s
ProTip! You can narrow down the results and go further in time using created:<2026-06-02 or the other filters available.