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
396 workflow runs
396 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
Make proof-local simplify hint databases visible to conversion Enforce single-commit PR #346: Pull request #1080 opened by strub
6s hint-simplify-db-fixes
hint-simplify-db-fixes
6s
Enforce single-commit PR Enforce single-commit PR #345: Merge group checks requested
7s
7s
nix: repair flake for Nix 2.35 / macOS 26, modernize toolchain Enforce single-commit PR #344: Pull request #1079 synchronize by strub
7s nix-flake-repair
nix-flake-repair
7s
nix: repair flake for Nix 2.35 / macOS 26, modernize toolchain Enforce single-commit PR #343: Pull request #1079 opened by strub
6s nix-flake-repair
nix-flake-repair
6s
[llm] playground for LLM-related interaction Enforce single-commit PR #342: Pull request #1019 synchronize by strub
6s llm-interactive
llm-interactive
6s
[llm] playground for LLM-related interaction Enforce single-commit PR #341: Pull request #1019 synchronize by strub
5s llm-interactive
llm-interactive
5s
[llm] playground for LLM-related interaction Enforce single-commit PR #340: Pull request #1019 synchronize by strub
6s llm-interactive
llm-interactive
6s
perf: relax OCaml 5.x GC pacing for custom blocks, warn on 5.0–5.3 Enforce single-commit PR #339: Pull request #1075 synchronize by strub
7s opt-warnings-gc-tuning
opt-warnings-gc-tuning
7s
[refold]: allow rigid unification Enforce single-commit PR #338: Pull request #923 synchronize by strub
5s pose-match-fix
pose-match-fix
5s
Enforce single-commit PR Enforce single-commit PR #337: Merge group checks requested
6s
6s
ci: bump Docker OCaml to 5.4.0 Enforce single-commit PR #336: Pull request #1077 opened by strub
7s ci-bump-ocaml-5.4
ci-bump-ocaml-5.4
7s
perf: relax OCaml 5.x GC pacing for custom blocks, warn on 5.0–5.3 Enforce single-commit PR #335: Pull request #1075 synchronize by strub
6s opt-warnings-gc-tuning
opt-warnings-gc-tuning
6s
Enforce single-commit PR Enforce single-commit PR #334: Merge group checks requested
9s
9s
feat: configurable warnings (uninit locals, unused unfold) Enforce single-commit PR #333: Pull request #1073 synchronize by strub
10s opt-warnings
opt-warnings
10s
Rényi-∞ divergence machinery for oracle-bounded reductions Enforce single-commit PR #332: Pull request #1076 opened by Gustavo2622
7s library_renyi_divergence
library_renyi_divergence
7s
Enforce single-commit PR Enforce single-commit PR #331: Merge group checks requested
5s
5s
Add named and local simplify hint databases Enforce single-commit PR #330: Pull request #954 synchronize by strub
7s hint-simplify-db
hint-simplify-db
7s
perf: relax OCaml 5.x GC pacing for custom blocks, warn on 5.0–5.3 Enforce single-commit PR #329: Pull request #1075 opened by strub
7s opt-warnings-gc-tuning
opt-warnings-gc-tuning
7s
feat: configurable warnings (uninit locals, unused unfold) Enforce single-commit PR #328: Pull request #1073 synchronize by strub
6s opt-warnings
opt-warnings
6s
feat: configurable warnings (uninit locals, unused unfold) Enforce single-commit PR #327: Pull request #1073 opened by strub
8s opt-warnings
opt-warnings
8s
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