Skip to content

Actions: hyperpolymath/proven

Actions

Trustfile Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
trustfile.yml
512 workflow runs
512 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
docs: mark AFFIRMATION as agent-authored DRAFT, not owner-affirmed Trustfile Validation #512: Pull request #233 opened by hyperpolymath
21s docs/affirmation-mark-draft
docs/affirmation-mark-draft
21s
docs: add AFFIRMATION.adoc anchored at 53600326 Trustfile Validation #511: Pull request #232 opened by hyperpolymath
20s docs/affirmation-2026-10-07
docs/affirmation-2026-10-07
20s
chore(secrets): ignore three gitleaks test-fixture false positives Trustfile Validation #510: Pull request #231 opened by hyperpolymath
21s fix/gitleaks-fixture-ignores
fix/gitleaks-fixture-ignores
21s
fix(SafeFiniteField): reject irreducibles not of degree n before redu… Trustfile Validation #509: Commit a32c3b6 pushed by hyperpolymath
26s main
main
26s
fix(SafeFiniteField): reject irreducibles not of degree n before reduction Trustfile Validation #508: Pull request #229 opened by hyperpolymath
17s fix/finite-field-irr-degree
fix/finite-field-irr-degree
17s
fix(soundness): remove false postulates in SafeFiniteField, SafePipe,… Trustfile Validation #507: Commit ced0ca5 pushed by hyperpolymath
48s main
main
48s
fix(soundness): remove false postulates in SafeFiniteField, SafePipe, SafeTerminal Trustfile Validation #506: Pull request #228 opened by hyperpolymath
23s fix/remove-false-runtime-assumptions
fix/remove-false-runtime-assumptions
23s
docs: add Signed commits section to CONTRIBUTING Trustfile Validation #505: Pull request #227 opened by hyperpolymath
22s docs/signing-policy-d218
docs/signing-policy-d218
22s
fix: restore the Idris2 0.8 package build (#226) Trustfile Validation #504: Commit 91d353a pushed by arena-ai-coding-agent Bot
Startup failure main
main
Startup failure
Trustfile Validation Trustfile Validation #503: opened by arena-ai-coding-agent Bot
Startup failure arena/01a0df48-proven
arena/01a0df48-proven
Startup failure
fix(gates): gate on the DEED grammar, per the template and standards#837 Trustfile Validation #502: Pull request #225 opened by hyperpolymath
8h 18m 57s fix/deed-gate-grammar
fix/deed-gate-grammar
8h 18m 57s
fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era naming Trustfile Validation #501: Pull request #224 opened by hyperpolymath
8h 24m 17s fix/deed-gate-a2ml-retire
fix/deed-gate-a2ml-retire
8h 24m 17s
ci(hypatia): standardise the wrapper caller id to the canonical hypatia Trustfile Validation #500: Pull request #223 opened by hyperpolymath
2h 13m 8s fix/hypatia-caller-id
fix/hypatia-caller-id
2h 13m 8s
chore(governance): stop declaring repository identity in settings.yml Trustfile Validation #499: Pull request #222 opened by hyperpolymath
26m 54s chore/settings-no-identity
chore/settings-no-identity
26m 54s
fix(docs): repoint references to the relocated contributing guide Trustfile Validation #498: Pull request #221 opened by hyperpolymath
2h 19m 22s refactor/contributing-guide-link-repair
refactor/contributing-guide-link-repair
2h 19m 22s
refactor(root): relocate the contributing guide into .github/ Trustfile Validation #497: Pull request #220 opened by hyperpolymath
3h 19m 3s refactor/contributing-guide-relocation
refactor/contributing-guide-relocation
3h 19m 3s
chore(www): migrate root .well-known/ to www/.well-known/ Trustfile Validation #496: Pull request #219 opened by hyperpolymath
2h 7m 4s chore/well-known-to-www
chore/well-known-to-www
2h 7m 4s
Fix/idris2 totality and elaboration cures (#217) Trustfile Validation #495: Commit a92d237 pushed by hyperpolymath
22s main
main
22s
Fix/idris2 totality and elaboration cures Trustfile Validation #494: Pull request #217 synchronize by hyperpolymath
25s fix/idris2-totality-and-elaboration-cures
fix/idris2-totality-and-elaboration-cures
25s
fix(ci): repair unparseable permissions scalar (2 workflow file(s)) Trustfile Validation #493: Pull request #218 opened by hyperpolymath
2m 2s fix/workflow-permissions-scalar-parse-error
fix/workflow-permissions-scalar-parse-error
2m 2s
fix(idris2): cure seven build blockers — build goes VOID → RED, front… Trustfile Validation #492: Commit 3b118cb pushed by hyperpolymath
19s main
main
19s
fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305 Trustfile Validation #491: Pull request #206 synchronize by hyperpolymath
20s fix/idris2-build-blockers
fix/idris2-build-blockers
20s
chore(dependabot): cap open pull requests per update block Trustfile Validation #490: Pull request #216 opened by hyperpolymath
20s chore/dependabot-pr-caps-2026-09-08
chore/dependabot-pr-caps-2026-09-08
20s
fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305 Trustfile Validation #489: Pull request #206 synchronize by coderabbitai Bot
20s fix/idris2-build-blockers
fix/idris2-build-blockers
20s
fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305 Trustfile Validation #488: Pull request #206 synchronize by coderabbitai Bot
17s fix/idris2-build-blockers
fix/idris2-build-blockers
17s