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
483 workflow runs
483 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
Enforce single-commit PR Enforce single-commit PR #483: Merge group checks requested
8s
8s
Enforce single-commit PR Enforce single-commit PR #482: Merge group checks requested
8s
8s
Change pHL to prevent negative probabilities Enforce single-commit PR #481: Pull request #1105 synchronize by oskgo
7s negative-phoare-false
negative-phoare-false
7s
[chore] stabilise SMT and bump provers Enforce single-commit PR #480: Pull request #1084 synchronize by fdupress
6s stabilise-smt
stabilise-smt
6s
fix(fel): require per-step weights non-negative over the counter range Enforce single-commit PR #479: Pull request #1096 reopened by fdupress
7s fix/fel-counter-weight
fix/fel-counter-weight
7s
fix(clone): proof * [-tag] should force (realize) untagged axioms Enforce single-commit PR #478: Pull request #1098 synchronize by namasikanam
9s fix/clone-proofstar-tags
fix/clone-proofstar-tags
9s
fix(clone): proof * [-tag] should force (realize) untagged axioms Enforce single-commit PR #477: Pull request #1098 synchronize by namasikanam
10s fix/clone-proofstar-tags
fix/clone-proofstar-tags
10s
[chore] stabilise SMT and bump provers Enforce single-commit PR #476: Pull request #1084 synchronize by fdupress
7s stabilise-smt
stabilise-smt
7s
Change pHL to prevent negative probabilities Enforce single-commit PR #475: Pull request #1105 opened by oskgo
6s negative-phoare-false
negative-phoare-false
6s
feat(clone): reintroduce module overriding for stateless modules Enforce single-commit PR #474: Pull request #1104 synchronize by strub
6s clones-with-modules
clones-with-modules
6s
feat(clone): reintroduce module overriding for stateless modules Enforce single-commit PR #473: Pull request #1104 opened by strub
7s clones-with-modules
clones-with-modules
7s
fix(clone): proof * [-tag] should force (realize) untagged axioms Enforce single-commit PR #472: Pull request #1098 reopened by oskgo
9s fix/clone-proofstar-tags
fix/clone-proofstar-tags
9s
fix(ehoare): reject negative probability bound in byehoare deno Enforce single-commit PR #471: Pull request #1095 synchronize by strub
6s fix/byehoare-neg-bound
fix/byehoare-neg-bound
6s
Enforce single-commit PR Enforce single-commit PR #470: Merge group checks requested
6s
6s
fix(typing): sound module updates on sub-module and applied-functor bases Enforce single-commit PR #469: Pull request #1086 synchronize by fdupress
7s fix-module-update-bases
fix-module-update-bases
7s
fix(typing): sound module updates on sub-module and applied-functor bases Enforce single-commit PR #468: Pull request #1086 synchronize by fdupress
5s fix-module-update-bases
fix-module-update-bases
5s
fix(eager): fun-abs must check the swap statement does not modify glob A Enforce single-commit PR #467: Pull request #1097 synchronize by namasikanam
7s fix/eager-glob-check
fix/eager-glob-check
7s
Enforce single-commit PR Enforce single-commit PR #466: Merge group checks requested
7s
7s
fix(equiv): equivF_abs must check the glob-A oracle footprint on both oracles Enforce single-commit PR #465: Pull request #1099 synchronize by namasikanam
10s fix/equivf-abs-oracle-glob
fix/equivf-abs-oracle-glob
10s
fix(clone): proof * [-tag] should force (realize) untagged axioms Enforce single-commit PR #464: Pull request #1098 synchronize by namasikanam
9s fix/clone-proofstar-tags
fix/clone-proofstar-tags
9s
fix(fel): require per-step weights non-negative over the counter range Enforce single-commit PR #463: Pull request #1096 synchronize by namasikanam
6s fix/fel-counter-weight
fix/fel-counter-weight
6s
fix(ehoare): reject negative probability bound in byehoare deno Enforce single-commit PR #462: Pull request #1095 synchronize by namasikanam
6s fix/byehoare-neg-bound
fix/byehoare-neg-bound
6s
fix(ehoare): reject negative probability bound in byehoare deno Enforce single-commit PR #461: Pull request #1095 synchronize by namasikanam
5s fix/byehoare-neg-bound
fix/byehoare-neg-bound
5s
fix(ehoare): reject negative probability bound in byehoare deno Enforce single-commit PR #460: Pull request #1095 synchronize by namasikanam
6s fix/byehoare-neg-bound
fix/byehoare-neg-bound
6s
[chore] stabilise SMT and bump provers Enforce single-commit PR #459: Pull request #1084 synchronize by fdupress
8s stabilise-smt
stabilise-smt
8s