Skip to content

Actions: levineuwirth/proof-broker

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
198 workflow runs
198 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
lift polymorphic α and definitional unfolding — replay at α, Eq.mpr i… validate #193: Commit ee125cd pushed by levineuwirth
10m 35s main
main
10m 35s
lift polymorphic α and definitional unfolding — replay at α, Eq.mpr inversion (R3-M2/M3) validate #192: Pull request #92 opened by levineuwirth
10m 31s r3/poly-lifting
r3/poly-lifting
10m 31s
specialize ℕ→ℤ end to end — real refinement witnesses, the first lift… validate #191: Commit 854d606 pushed by levineuwirth
9m 28s main
main
9m 28s
specialize ℕ→ℤ end to end — real refinement witnesses, the first lifting (R3-M1) validate #190: Pull request #91 synchronize by levineuwirth
9m 43s r3/nat-specialization
r3/nat-specialization
9m 43s
specialize ℕ→ℤ end to end — real refinement witnesses, the first lifting (R3-M1) validate #189: Pull request #91 opened by levineuwirth
8m 49s r3/nat-specialization
r3/nat-specialization
8m 49s
dispatch: make the certificate load-bearing — live pipeline, real tra… validate #188: Commit 21f07be pushed by levineuwirth
10m 6s main
main
10m 6s
dispatch: make the certificate load-bearing — live pipeline, real trace hashes, identity guard (R2) validate #187: Pull request #90 opened by levineuwirth
10m 52s r2/cert-load-bearing
r2/cert-load-bearing
10m 52s
walker: close the live production path (R1) (#89) validate #186: Commit e07a009 pushed by levineuwirth
10m 44s main
main
10m 44s
walker: close the live production path (R1) validate #185: Pull request #89 opened by levineuwirth
10m 10s r1/walker-live-path
r1/walker-live-path
10m 10s
ci: bump actions/setup-python from 6.2.0 to 7.0.0 validate #184: Pull request #87 synchronize by dependabot Bot
10m 40s dependabot/github_actions/actions/setup-python-7.0.0
dependabot/github_actions/actions/setup-python-7.0.0
10m 40s
github_actions in / for actions/setup-python - Update #1547882747 Dependabot Updates #5: by dependabot Bot
37s main
main
37s
github_actions in / for actions/checkout - Update #1547882735 Dependabot Updates #4: by dependabot Bot
24s main
main
24s
github_actions in / for ocaml/setup-ocaml - Update #1547882740 Dependabot Updates #3: by dependabot Bot
50s main
main
50s
toolchain: Lean/Mathlib v4.32.0 (drop Mathlib precompile), Vampire 5.… validate #183: Commit c709127 pushed by levineuwirth
10m 47s main
main
10m 47s
toolchain: Lean/Mathlib v4.32.0 (drop Mathlib precompile), Vampire 5.1.0, elan 4.2.4, action SHAs validate #182: Pull request #88 opened by levineuwirth
10m 56s r0/toolchain-refresh
r0/toolchain-refresh
10m 56s
build/ci/docs: re-green CI (dune < 3.24, rocq < 9.2), repo hygiene, s… validate #181: Commit 85073ad pushed by levineuwirth
18m 39s main
main
18m 39s
ci: bump actions/setup-python from 6.2.0 to 7.0.0 validate #180: Pull request #87 opened by dependabot Bot
22m 30s dependabot/github_actions/actions/setup-python-7.0.0
dependabot/github_actions/actions/setup-python-7.0.0
22m 30s
ci: bump ocaml/setup-ocaml from 3.6.1 to 3.7.2 validate #179: Pull request #86 opened by dependabot Bot
22m 33s dependabot/github_actions/ocaml/setup-ocaml-3.7.2
dependabot/github_actions/ocaml/setup-ocaml-3.7.2
22m 33s
ci: bump actions/checkout from 7.0.0 to 7.0.1 validate #178: Pull request #85 opened by dependabot Bot
21m 42s dependabot/github_actions/actions/checkout-7.0.1
dependabot/github_actions/actions/checkout-7.0.1
21m 42s
github_actions in /. - Update #1547809743 Dependabot Updates #2: by dependabot Bot
1m 1s main
main
1m 1s
github_actions in /. - Update #1547809547 Dependabot Updates #1: by dependabot Bot
58s main
main
58s
build/ci/docs: re-green CI (dune < 3.24, rocq < 9.2), repo hygiene, s… validate #177: Commit 765c2b7 pushed by levineuwirth
22m 18s main
main
22m 18s
build/ci/docs: re-green CI (dune < 3.24, rocq < 9.2), repo hygiene, script-derived README status validate #176: Pull request #84 opened by levineuwirth
23m 11s r0/regreen
r0/regreen
23m 11s
feat: enforce strict-identity hash linkage for example certificates validate #175: Commit 0a5ae40 pushed by levineuwirth
17m 17s main
main
17m 17s
feat: enforce strict-identity hash linkage for example certificates validate #174: Pull request #83 opened by levineuwirth
16m 41s feat/canonical-hash-consumer
feat/canonical-hash-consumer
16m 41s