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
396 workflow runs
396 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
Update eclistings.sty (math style) Enforce single-commit PR #371: Pull request #1082 synchronize by strub
6s update-eclistings.sty
update-eclistings.sty
6s
[chore] stabilise SMT and bump provers Enforce single-commit PR #370: Pull request #1084 opened by fdupress
6s stabilise-smt
stabilise-smt
6s
Enforce single-commit PR Enforce single-commit PR #369: Merge group checks requested
7s
7s
Simpler SMT goals Enforce single-commit PR #368: Pull request #1083 synchronize by vbgl
5s vbgl:smt-2026-07-20
vbgl:smt-2026-07-20
5s
Simpler SMT goals Enforce single-commit PR #367: Pull request #1083 synchronize by vbgl
9s vbgl:smt-2026-07-20
vbgl:smt-2026-07-20
9s
Simpler SMT goals Enforce single-commit PR #366: Pull request #1083 opened by vbgl
5s vbgl:smt-2026-07-20
vbgl:smt-2026-07-20
5s
stdlib: basic commutative algebra Enforce single-commit PR #365: Pull request #602 synchronize by strub
5s comm-algebra
comm-algebra
5s
stdlib: basic commutative algebra Enforce single-commit PR #364: Pull request #602 synchronize by strub
6s comm-algebra
comm-algebra
6s
Update eclistings.sty (math style) Enforce single-commit PR #363: Pull request #1082 opened by namasikanam
6s update-eclistings.sty
update-eclistings.sty
6s
New lemmas for List Enforce single-commit PR #362: Pull request #1072 synchronize by namasikanam
5s oram-new-lemmas-list
oram-new-lemmas-list
5s
stdlib: basic commutative algebra Enforce single-commit PR #361: Pull request #602 synchronize by strub
7s comm-algebra
comm-algebra
7s
stdlib: basic commutative algebra Enforce single-commit PR #360: Pull request #602 synchronize by strub
6s comm-algebra
comm-algebra
6s
stdlib: basic commutative algebra Enforce single-commit PR #359: Pull request #602 synchronize by strub
7s comm-algebra
comm-algebra
7s
[llm] playground for LLM-related interaction Enforce single-commit PR #358: Pull request #1019 synchronize by strub
8s llm-interactive
llm-interactive
8s
stdlib: basic commutative algebra Enforce single-commit PR #357: Pull request #602 synchronize by strub
9s comm-algebra
comm-algebra
9s
Enforce single-commit PR Enforce single-commit PR #356: Merge group checks requested
9s
9s
[docker] add z3 5.0.0 to docker environment Enforce single-commit PR #355: Pull request #1081 opened by fdupress
9s docker-z3-5.0.0
docker-z3-5.0.0
9s
[llm] playground for LLM-related interaction Enforce single-commit PR #354: Pull request #1019 synchronize by strub
5s llm-interactive
llm-interactive
5s
stdlib: basic commutative algebra Enforce single-commit PR #353: Pull request #602 synchronize by strub
7s comm-algebra
comm-algebra
7s
Rényi-∞ divergence machinery for oracle-bounded reductions Enforce single-commit PR #352: Pull request #1076 synchronize by strub
5s library_renyi_divergence
library_renyi_divergence
5s
Enforce single-commit PR Enforce single-commit PR #351: Merge group checks requested
8s
8s
[llm] playground for LLM-related interaction Enforce single-commit PR #350: Pull request #1019 synchronize by strub
8s llm-interactive
llm-interactive
8s
Enforce single-commit PR Enforce single-commit PR #349: Merge group checks requested
7s
7s
nix: repair flake for Nix 2.35 / macOS 26, modernize toolchain Enforce single-commit PR #348: Pull request #1079 synchronize by strub
9s nix-flake-repair
nix-flake-repair
9s
Make proof-local simplify hint databases visible to conversion Enforce single-commit PR #347: Pull request #1080 synchronize by strub
5s hint-simplify-db-fixes
hint-simplify-db-fixes
5s