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
306 workflow runs
306 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 #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
Integer-indexed types Enforce single-commit PR #301: Pull request #1065 synchronize by strub
7s indexed-types
indexed-types
7s
New lemmas for stdlib Enforce single-commit PR #300: Pull request #1053 synchronize by strub
2m 27s lemmas-from-oram
lemmas-from-oram
2m 27s
Enforce single-commit PR Enforce single-commit PR #299: Merge group checks requested
8s
8s
Enforce single-commit PR Enforce single-commit PR #298: Merge group checks requested
10s
10s
New lemmas for stdlib Enforce single-commit PR #297: Pull request #1053 synchronize by strub
9s lemmas-from-oram
lemmas-from-oram
9s
typing: defer failed-application classification (perf) Enforce single-commit PR #296: Pull request #1063 synchronize by strub
11s fix-long-require
fix-long-require
11s
Enforce single-commit PR Enforce single-commit PR #295: Merge group checks requested
9s
9s
New lemmas for stdlib Enforce single-commit PR #294: Pull request #1053 synchronize by strub
11s lemmas-from-oram
lemmas-from-oram
11s
New lemmas for stdlib Enforce single-commit PR #293: Pull request #1053 synchronize by strub
15s lemmas-from-oram
lemmas-from-oram
15s
Use auto unfold for some Logic operators Enforce single-commit PR #292: Pull request #1014 synchronize by fdupress
9s stdlib-auto-unfold
stdlib-auto-unfold
9s
New lemmas for stdlib Enforce single-commit PR #291: Pull request #1053 synchronize by strub
6s lemmas-from-oram
lemmas-from-oram
6s
New lemmas for stdlib Enforce single-commit PR #290: Pull request #1053 synchronize by strub
5s lemmas-from-oram
lemmas-from-oram
5s
feat: print an individual procedure (print [proc] M.p) Enforce single-commit PR #289: Pull request #1064 synchronize by strub
6s print-proc
print-proc
6s
feat: print an individual procedure (print [proc] M.p) Enforce single-commit PR #288: Pull request #1064 opened by strub
6s print-proc
print-proc
6s
Fix soundness bug with clone overrides of subtypes Enforce single-commit PR #287: Pull request #1062 synchronize by oskgo
8s fix-subtype
fix-subtype
8s
Enforce single-commit PR Enforce single-commit PR #286: Merge group checks requested
7s
7s
Use auto unfold for some Logic operators Enforce single-commit PR #285: Pull request #1014 synchronize by oskgo
9s stdlib-auto-unfold
stdlib-auto-unfold
9s
Fix soundness bug with clone overrides of subtypes Enforce single-commit PR #284: Pull request #1062 synchronize by oskgo
6s fix-subtype
fix-subtype
6s
typing: defer failed-application classification (perf) Enforce single-commit PR #283: Pull request #1063 synchronize by strub
7s fix-long-require
fix-long-require
7s
typing: defer failed-application classification (perf) Enforce single-commit PR #282: Pull request #1063 synchronize by strub
7s fix-long-require
fix-long-require
7s