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
326 workflow runs
326 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
New lemmas for List Enforce single-commit PR #326: Pull request #1072 opened by namasikanam
6s oram-new-lemmas-list
oram-new-lemmas-list
6s
Enforce single-commit PR Enforce single-commit PR #325: Merge group checks requested
5s
5s
Enforce single-commit PR Enforce single-commit PR #324: Merge group checks requested
16s
16s
Enforce single-commit PR Enforce single-commit PR #323: Merge group checks requested
7s
7s
feat(circuit): polymorphic array init binding kind (painit) Enforce single-commit PR #322: Pull request #1071 synchronize by strub
5s bdep-slow
bdep-slow
5s
feat(circuit): polymorphic array init binding kind (painit) Enforce single-commit PR #321: Pull request #1071 opened by strub
6s bdep-slow
bdep-slow
6s
Fall back to checking equality of expressions in sim Enforce single-commit PR #320: Pull request #997 synchronize by oskgo
7s fix-990-2
fix-990-2
7s
PolyReduceZp: use default clone overrides (<=) and drop redundant p param Enforce single-commit PR #319: Pull request #1069 opened by strub
8s better-clones-poly-reduce
better-clones-poly-reduce
8s
Enforce single-commit PR Enforce single-commit PR #318: Merge group checks requested
5s
5s
Enforce single-commit PR Enforce single-commit PR #317: Merge group checks requested
7s
7s
fix(quotient): keep repr/pi opaque to SMT Enforce single-commit PR #316: Pull request #1068 synchronize by strub
5s fix-quotient-smt-opaque
fix-quotient-smt-opaque
5s
fix(quotient): keep repr/pi opaque to SMT Enforce single-commit PR #315: Pull request #1068 synchronize by strub
6s fix-quotient-smt-opaque
fix-quotient-smt-opaque
6s
fix(quotient): keep repr/pi opaque to SMT Enforce single-commit PR #314: Pull request #1068 opened by strub
7s fix-quotient-smt-opaque
fix-quotient-smt-opaque
7s
Enforce single-commit PR Enforce single-commit PR #313: Merge group checks requested
6s
6s
feat: named ring/field instances for ring/field structure selection Enforce single-commit PR #312: Pull request #1067 opened by strub
7s multi-instance-ring
multi-instance-ring
7s
Integer-indexed types Enforce single-commit PR #311: Pull request #1065 synchronize by strub
7s indexed-types
indexed-types
7s
[llm] playground for LLM-related interaction Enforce single-commit PR #310: Pull request #1019 synchronize by strub
6s llm-interactive
llm-interactive
6s
Enforce single-commit PR Enforce single-commit PR #309: Merge group checks requested
27s
27s
Enforce single-commit PR Enforce single-commit PR #308: Merge group checks requested
6s
6s
Integer-indexed types Enforce single-commit PR #307: Pull request #1065 synchronize by strub
5s indexed-types
indexed-types
5s
Enforce single-commit PR Enforce single-commit PR #306: Merge group checks requested
9s
9s
Fall back to checking equality of expressions in sim Enforce single-commit PR #305: Pull request #997 synchronize by strub
6s fix-990-2
fix-990-2
6s
Fix soundness bug with clone overrides of subtypes Enforce single-commit PR #304: Pull request #1062 synchronize by strub
6s fix-subtype
fix-subtype
6s
New lemmas for stdlib Enforce single-commit PR #303: Pull request #1053 synchronize by strub
6s lemmas-from-oram
lemmas-from-oram
6s
Enforce single-commit PR Enforce single-commit PR #302: Merge group checks requested
5s
5s