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
274 workflow runs
274 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 #274: Merge group checks requested
6s
6s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Enforce single-commit PR #273: Pull request #752 synchronize by strub
5s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
5s
Fix soundness bug with clone overrides of subtypes Enforce single-commit PR #272: Pull request #1062 opened by oskgo
6s fix-subtype
fix-subtype
6s
Enforce single-commit PR Enforce single-commit PR #271: Merge group checks requested
6s
6s
feat: variant for up-to-bad call/proc tactics Enforce single-commit PR #270: Pull request #1060 synchronize by loutr
5s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
5s
Stronger precondition in pRHL tactics eager-seq and eager-while Enforce single-commit PR #269: Pull request #1059 synchronize by loutr
7s loutr:1059-eager-while-stronger-pre
loutr:1059-eager-while-stronger-pre
7s
feat: variant for up-to-bad call/proc tactics Enforce single-commit PR #268: Pull request #1060 synchronize by loutr
5s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
5s
feat: variant for up-to-bad call/proc tactics Enforce single-commit PR #267: Pull request #1060 synchronize by loutr
5s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
5s
[cryptolib] generalize PRF definitions, PRP<->PRF Enforce single-commit PR #266: Pull request #1028 synchronize by fdupress
8s prf-generalise
prf-generalise
8s
Migrate MSet to use quotients to eliminate axioms Enforce single-commit PR #265: Pull request #1061 opened by oskgo
8s migrate-to-quotient
migrate-to-quotient
8s
Enforce single-commit PR Enforce single-commit PR #264: Merge group checks requested
9s
9s
Stronger precondition in pRHL tactics eager-seq and eager-while Enforce single-commit PR #263: Pull request #1059 synchronize by strub
6s loutr:1059-eager-while-stronger-pre
loutr:1059-eager-while-stronger-pre
6s
Stronger precondition in pRHL tactics eager-seq and eager-while Enforce single-commit PR #262: Pull request #1059 synchronize by loutr
5s loutr:1059-eager-while-stronger-pre
loutr:1059-eager-while-stronger-pre
5s
feat: variant for up-to-bad call/proc tactics Enforce single-commit PR #261: Pull request #1060 synchronize by strub
6s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
6s
Enforce single-commit PR Enforce single-commit PR #260: Merge group checks requested
8s
8s
fix(subst): also bind expression-locals when substituting a form-local (#1056) Enforce single-commit PR #259: Pull request #1057 synchronize by strub
5s fix-1056
fix-1056
5s
feat: variant for up-to-bad call/proc tactics Enforce single-commit PR #258: Pull request #1060 synchronize by loutr
8s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
8s
New lemmas for stdlib Enforce single-commit PR #257: Pull request #1053 synchronize by namasikanam
8s lemmas-from-oram
lemmas-from-oram
8s
feat: variant for up-to-bad call/proc tactics Enforce single-commit PR #256: Pull request #1060 opened by loutr
8s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
8s
Stronger precondition in pRHL tactics eager-seq and eager-while Enforce single-commit PR #255: Pull request #1059 opened by loutr
6s loutr:1059-eager-while-stronger-pre
loutr:1059-eager-while-stronger-pre
6s
Additional quotient theory with user provided canon map Enforce single-commit PR #254: Pull request #1058 synchronize by oskgo
10s migrate-to-quotient
migrate-to-quotient
10s
Additional quotient theory with user provided canon map Enforce single-commit PR #253: Pull request #1058 synchronize by oskgo
9s migrate-to-quotient
migrate-to-quotient
9s
fix(subst): also bind expression-locals when substituting a form-local (#1056) Enforce single-commit PR #252: Pull request #1057 synchronize by bgregoir
8s fix-1056
fix-1056
8s
fix(subst): also bind expression-locals when substituting a form-local (#1056) Enforce single-commit PR #251: Pull request #1057 opened by bgregoir
6s fix-1056
fix-1056
6s
Enforce single-commit PR Enforce single-commit PR #250: Merge group checks requested
8s
8s