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
993 workflow runs
993 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 #993: Merge group checks requested
7s
7s
fix: require bd <= 1 in the pHL while I v k eps rule Enforce single-commit PR #992: Pull request #1228 opened by strub
7s fix/while-geq-bound
fix/while-geq-bound
7s
fix(phl): check the bound of the upper-bound while rule on all memories Enforce single-commit PR #991: Pull request #1130 synchronize by strub
6s Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
6s
feat(theories): make FinType.card abstract, specified by card_spec Enforce single-commit PR #990: Pull request #1224 synchronize by strub
Action required mattc-try:feat/fintype-abstract-card
mattc-try:feat/fintype-abstract-card
Action required
fix(crush): the activated simplify databases apply to every reduction of crush Enforce single-commit PR #989: Pull request #1227 synchronize by strub
6s fix/crush-hint-dbs
fix/crush-hint-dbs
6s
fix(crush): the activated simplify databases apply to every reduction of crush Enforce single-commit PR #988: Pull request #1227 opened by strub
6s fix/crush-hint-dbs
fix/crush-hint-dbs
6s
Integer-indexed types Enforce single-commit PR #987: Pull request #1065 synchronize by strub
23s indexed-types
indexed-types
23s
Enforce single-commit PR Enforce single-commit PR #986: Merge group checks requested
8s
8s
Enforce single-commit PR Enforce single-commit PR #985: Merge group checks requested
8s
8s
[documentation]: document while tactic Enforce single-commit PR #984: Pull request #880 synchronize by fdupress
6s doc-while-tactic
doc-while-tactic
6s
[documentation]: document seq tactic Enforce single-commit PR #983: Pull request #879 synchronize by fdupress
7s doc-seq-tactic
doc-seq-tactic
7s
[documentation]: document seq tactic Enforce single-commit PR #982: Pull request #879 synchronize by fdupress
7s doc-seq-tactic
doc-seq-tactic
7s
[docker] bump z3 5.3.2 to 5.3.3 Enforce single-commit PR #981: Pull request #1225 opened by fdupress
3m 16s docker-z3-5.3.3
docker-z3-5.3.3
3m 16s
feat(theories): make FinType.card abstract, specified by card_spec Enforce single-commit PR #980: Pull request #1224 opened by mattc-try
Action required mattc-try:feat/fintype-abstract-card
mattc-try:feat/fintype-abstract-card
Action required
fix(phl): require the invariant on loop entry in the while variant rule Enforce single-commit PR #979: Pull request #1132 synchronize by Yiping106283
7s Yiping106283:fix-phoare-while-variant-entry
Yiping106283:fix-phoare-while-variant-entry
7s
fix(phl): check the bound of the upper-bound while rule on all memories Enforce single-commit PR #978: Pull request #1130 synchronize by Yiping106283
5s Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
5s
Enforce single-commit PR Enforce single-commit PR #977: Merge group checks requested
6s
6s
fix(sim): eqobs_in must not assume an abstract call preserves glob A for distinct oracles Enforce single-commit PR #976: Pull request #1143 synchronize by namasikanam
8s fix/eqobs-abs-oracle-glob
fix/eqobs-abs-oracle-glob
8s
Enforce single-commit PR Enforce single-commit PR #975: Merge group checks requested
6s
6s
upgrade to why3 1.9.0 Enforce single-commit PR #974: Pull request #1220 synchronize by strub
6s why3-1.9
why3-1.9
6s
upgrade to why3 1.9.0 Enforce single-commit PR #973: Pull request #1220 synchronize by strub
6s why3-1.9
why3-1.9
6s
fix(fixpoint): matchfix termination check must descend into all call arguments Enforce single-commit PR #972: Pull request #1144 synchronize by namasikanam
7s fix/matchfix-sibling-arg-termination
fix/matchfix-sibling-arg-termination
7s
perf(smt): no relevance tables when no lemma is to be selected Enforce single-commit PR #971: Pull request #1221 synchronize by strub
8s perf/smt-given-lemmas
perf/smt-given-lemmas
8s
perf(smt): no relevance tables when no lemma is to be selected Enforce single-commit PR #970: Pull request #1221 synchronize by strub
2m 21s perf/smt-given-lemmas
perf/smt-given-lemmas
2m 21s
perf(smt): memories as abstract values, local variables as functions of them Enforce single-commit PR #969: Pull request #1222 synchronize by strub
5s perf/smt-memory-locals
perf/smt-memory-locals
5s