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
916 workflow runs
916 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
stdlib: basic commutative algebra Enforce single-commit PR #916: Pull request #602 synchronize by strub
18s comm-algebra
comm-algebra
18s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server Enforce single-commit PR #915: Pull request #1019 synchronize by strub
7s llm-interactive
llm-interactive
7s
refactor(pl): seq as recheckable per-logic rules Enforce single-commit PR #914: Pull request #1155 synchronize by strub
6s pl/seq
pl/seq
6s
refactor(pl): looptx as program transformations Enforce single-commit PR #913: Pull request #1184 synchronize by strub
8s pl/looptx
pl/looptx
8s
refactor(pl): inline as program transformations Enforce single-commit PR #912: Pull request #1182 synchronize by strub
5s pl/inline
pl/inline
5s
refactor(pl): fel as a recheckable rule Enforce single-commit PR #911: Pull request #1194 synchronize by strub
6s pl/fel
pl/fel
6s
refactor(pl): if/match/case on the conditional alone, with pushes Enforce single-commit PR #910: Pull request #1174 synchronize by strub
6s pl/cond
pl/cond
6s
refactor(pl): true, zero and exfalso as recheckable per-logic rules Enforce single-commit PR #909: Pull request #1159 synchronize by strub
8s pl/true-zero-exfalso
pl/true-zero-exfalso
8s
refactor(pl): prrw as a recheckable rule Enforce single-commit PR #908: Pull request #1199 synchronize by strub
6s pl/prrw
pl/prrw
6s
refactor(pl): rnd and rndsem as recheckable per-logic rules Enforce single-commit PR #907: Pull request #1164 synchronize by strub
5s pl/rnd
pl/rnd
5s
refactor(pl): sp as recheckable per-logic rules Enforce single-commit PR #906: Pull request #1162 synchronize by strub
5s pl/sp
pl/sp
5s
refactor(pl): proc as recheckable per-logic rules Enforce single-commit PR #905: Pull request #1192 synchronize by strub
7s pl/fun
pl/fun
7s
refactor(pl): transitivity as recheckable per-logic rules Enforce single-commit PR #904: Pull request #1161 synchronize by strub
6s pl/trans
pl/trans
6s
refactor(pl): proc rewrite / change as program transformations Enforce single-commit PR #903: Pull request #1186 synchronize by strub
6s pl/rewrite
pl/rewrite
6s
refactor(pl): codetx as program transformations Enforce single-commit PR #902: Pull request #1183 synchronize by strub
6s pl/codetx
pl/codetx
6s
refactor(pl): symmetry as recheckable per-logic rules Enforce single-commit PR #901: Pull request #1160 synchronize by strub
7s pl/sym
pl/sym
7s
refactor(pl): call as recheckable per-logic rules Enforce single-commit PR #900: Pull request #1198 synchronize by strub
7s pl/call
pl/call
7s
refactor(pl): proc rewrite / change as program transformations Enforce single-commit PR #899: Pull request #1186 synchronize by strub
7s pl/rewrite
pl/rewrite
7s
refactor(pl): swap as program transformations Enforce single-commit PR #898: Pull request #1181 synchronize by strub
7s pl/swap
pl/swap
7s
refactor(pl): call as recheckable per-logic rules Enforce single-commit PR #897: Pull request #1198 synchronize by strub
7s pl/call
pl/call
7s
feat(pl): recheckable proof-nodes for program-logic rules Enforce single-commit PR #896: Pull request #1154 synchronize by strub
8s pl/recheck-basis
pl/recheck-basis
8s
refactor(pl): rnd and rndsem as recheckable per-logic rules Enforce single-commit PR #895: Pull request #1164 synchronize by strub
7s pl/rnd
pl/rnd
7s
refactor(pl): upto as recheckable per-logic rules Enforce single-commit PR #894: Pull request #1195 synchronize by strub
5s pl/upto
pl/upto
5s
refactor(pl): skip as recheckable per-logic rules Enforce single-commit PR #893: Pull request #1158 synchronize by strub
8s pl/skip
pl/skip
8s
refactor(pl): one transformation rule per logic, plus a catalogue Enforce single-commit PR #892: Pull request #1172 synchronize by strub
7s pl/transform
pl/transform
7s