Skip to content

Actions: auths-dev/auths-proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Formal artifact updater Formal artifact updater #529: completed by bordumb
6s
6s
docs(spec): AP-SPEC-063, the generalized gateway (draft) CI #809: Pull request #178 synchronize by bordumb
8m 55s audit-2026-09-24-gateway-spec
audit-2026-09-24-gateway-spec
8m 55s
Formal artifact updater Formal artifact updater #528: completed by bordumb
7s
7s
docs(spec): AP-SPEC-063, the generalized gateway (draft) CI #808: Pull request #178 synchronize by bordumb
9m 17s audit-2026-09-24-gateway-spec
audit-2026-09-24-gateway-spec
9m 17s
Formal artifact updater Formal artifact updater #527: completed by bordumb
7s
7s
docs(spec): AP-SPEC-063, the generalized gateway (draft) CI #807: Pull request #178 opened by bordumb
9m 34s audit-2026-09-24-gateway-spec
audit-2026-09-24-gateway-spec
9m 34s
Fuzz Fuzz #74: Scheduled
1h 9m 35s main
main
1h 9m 35s
Fuzz Fuzz #73: Scheduled
24m 57s main
main
24m 57s
Formal artifact updater Formal artifact updater #526: completed by bordumb
8s
8s
Merge pull request #174 from auths-dev/formal-translation-cold-fallback CI #806: Commit fe7a1cc pushed by bordumb
59m 20s main
main
59m 20s
Formal artifact updater Formal artifact updater #525: completed by bordumb
7s
7s
Formal artifact updater Formal artifact updater #524: completed by bordumb
9s
9s
fix(ci): run cold translation when protected-base evidence is missing CI #805: Pull request #174 synchronize by bordumb
1h 3m 54s formal-translation-cold-fallback
formal-translation-cold-fallback
1h 3m 54s
Merge pull request #177 from auths-dev/ci-lean-update-output CI #804: Commit 7b12474 pushed by bordumb
1h 3m 47s main
main
1h 3m 47s
Formal artifact updater Formal artifact updater #523: completed by bordumb
8s
8s
Formal artifact updater Formal artifact updater #522: completed by bordumb
9s
9s
Formal artifact updater Formal artifact updater #521: completed by bordumb
5s
5s
fix(ci): declare the Lean update output the evidence guard reads CI #803: Pull request #177 synchronize by bordumb
1h 4m 51s ci-lean-update-output
ci-lean-update-output
1h 4m 51s
Formal artifact updater Formal artifact updater #520: completed by bordumb
6s
6s
Merge pull request #176 from auths-dev/audit-2026-09-24-p256-key-enco… CI #802: Commit ae71cf0 pushed by bordumb
1h 0m 39s main
main
1h 0m 39s
Merge pull request #176 from auths-dev/audit-2026-09-24-p256-key-enco… Python SDK package #392: Commit ae71cf0 pushed by bordumb
12m 59s main
main
12m 59s
Merge pull request #176 from auths-dev/audit-2026-09-24-p256-key-enco… SDK outcome recipes #467: Commit ae71cf0 pushed by bordumb
5m 31s main
main
5m 31s
Merge pull request #173 from auths-dev/audit-2026-09-24-spec-061-spike CI #801: Commit e8b116f pushed by bordumb
2m 9s main
main
2m 9s
fix(ci): declare the Lean update output the evidence guard reads CI #800: Pull request #177 opened by bordumb
36m 55s ci-lean-update-output
ci-lean-update-output
36m 55s
Fuzz Fuzz #72: Scheduled
26m 23s main
main
26m 23s