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
133 workflow runs
133 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
[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
EasyCrypt Circuit Based Reasoning Extension Enforce single-commit PR #129: Pull request #752 synchronize by Gustavo2622
8s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
8s
EasyCrypt Circuit Based Reasoning Extension Enforce single-commit PR #128: Pull request #752 synchronize by Gustavo2622
6s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
6s
EasyCrypt Circuit Based Reasoning Extension Enforce single-commit PR #127: Pull request #752 synchronize by Gustavo2622
18s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
18s
EasyCrypt Circuit Based Reasoning Extension Enforce single-commit PR #126: Pull request #752 synchronize by Gustavo2622
7s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7s
EasyCrypt Circuit Based Reasoning Extension 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
EasyCrypt Circuit Based Reasoning Extension Enforce single-commit PR #122: Pull request #752 synchronize by Gustavo2622
6s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
6s
EasyCrypt Circuit Based Reasoning Extension Enforce single-commit PR #121: Pull request #752 synchronize by strub
12s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
12s
EasyCrypt Circuit Based Reasoning Extension 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
Add named and local simplify hint databases Enforce single-commit PR #118: Pull request #954 synchronize by strub
9s hint-simplify-db
hint-simplify-db
9s
Add named and local simplify hint databases Enforce single-commit PR #117: 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 #116: 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 #115: Pull request #954 synchronize by strub
5s hint-simplify-db
hint-simplify-db
5s
EasyCrypt Circuit Based Reasoning Extension Enforce single-commit PR #114: Pull request #752 synchronize by strub
6s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
6s
EasyCrypt Circuit Based Reasoning Extension Enforce single-commit PR #113: Pull request #752 synchronize by strub
9s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
9s
EasyCrypt Circuit Based Reasoning Extension Enforce single-commit PR #112: Pull request #752 synchronize by strub
7s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7s
Enforce single-commit PR Enforce single-commit PR #111: Merge group checks requested
9s
9s
bullets: focusing operators behind +strict_bullets pragma Enforce single-commit PR #110: Pull request #1017 synchronize by strub
6s forced-bullets
forced-bullets
6s
Enforce single-commit PR Enforce single-commit PR #109: Merge group checks requested
9s
9s