Skip to content

Actions: hyperpolymath/proven

Actions

.github/workflows/workflow-linter.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
98 workflow runs
98 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
ci(idris2): bump pinned version 0.7.0 -> 0.8.0 .github/workflows/workflow-linter.yml #98: Commit ef172ee pushed by hyperpolymath
Failure ci/idris2-bump-0.8.0-2026-05-20
ci/idris2-bump-0.8.0-2026-05-20
Failure
fix(ci): build Hypatia escript from repo root (estate dogfood drift) .github/workflows/workflow-linter.yml #97: Commit f3b85fc pushed by hyperpolymath
Failure main
main
Failure
fix(ci): rsr-antipattern.yml duplicate heredoc (#15) .github/workflows/workflow-linter.yml #96: Commit 508d6c9 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): repair corrupted rsr-antipattern.yml on this branch .github/workflows/workflow-linter.yml #95: Commit ca568f4 pushed by hyperpolymath
Failure fix/ci-rsr-and-setup-beam-2026-05-14
fix/ci-rsr-and-setup-beam-2026-05-14
Failure
fix(ci): rsr-antipattern.yml duplicate heredoc .github/workflows/workflow-linter.yml #94: Commit d39677d pushed by hyperpolymath
Failure fix/ci-rsr-and-setup-beam-2026-05-14
fix/ci-rsr-and-setup-beam-2026-05-14
Failure
ci: bump actions/upload-artifact SHA to current v4 (#14) .github/workflows/workflow-linter.yml #93: Commit 33610cb pushed by hyperpolymath
Failure main
main
Failure
ci: bump actions/upload-artifact SHA to current v4 .github/workflows/workflow-linter.yml #92: Commit 3203842 pushed by hyperpolymath
Failure ci/bump-upload-artifact-v4-sha-final
ci/bump-upload-artifact-v4-sha-final
Failure
ci: SHA-pin hyperpolymath validate-actions in dogfood-gate .github/workflows/workflow-linter.yml #91: Commit c8866df pushed by hyperpolymath
Failure main
main
Failure
ci: SHA-pin hyperpolymath validate-actions in dogfood-gate .github/workflows/workflow-linter.yml #90: Commit c8866df pushed by hyperpolymath
Failure main
main
Failure
fix(ci): remove invalid job-level hashFiles call from secret-scanner.yml .github/workflows/workflow-linter.yml #89: Commit f05e055 pushed by hyperpolymath
Failure main
main
Failure
ci(architecture-enforcement): resolve #11 + #12 (#13) .github/workflows/workflow-linter.yml #88: Commit 94f783d pushed by hyperpolymath
Failure main
main
Failure
ci(architecture-enforcement): close #11 and #12 .github/workflows/workflow-linter.yml #87: Commit 2b1a6d7 pushed by hyperpolymath
Failure claude/resolve-pr-10-6Ij9k
claude/resolve-pr-10-6Ij9k
Failure
ci: unblock Idris 2 verification on every PR (#10) .github/workflows/workflow-linter.yml #86: Commit ac4e0b7 pushed by hyperpolymath
Failure main
main
Failure
ci: unblock Idris 2 verification on every PR .github/workflows/workflow-linter.yml #85: Commit 95e0b3a pushed by hyperpolymath
Failure claude/resolve-pr-10-6Ij9k
claude/resolve-pr-10-6Ij9k
Failure
ci: unblock Idris 2 verification on every PR .github/workflows/workflow-linter.yml #84: Commit 89b7f41 pushed by hyperpolymath
Failure ci-fix-cache-and-idris-setup
ci-fix-cache-and-idris-setup
Failure
feat(api): align Safe* surface with idaptik #8 (#9) .github/workflows/workflow-linter.yml #83: Commit 5b0292b pushed by hyperpolymath
Failure main
main
Failure
fix(SafeInput): unblock Idris 2 build after module registration .github/workflows/workflow-linter.yml #82: Commit b7d958e pushed by hyperpolymath
Failure issue-58-api-surface
issue-58-api-surface
Failure
feat(api): align Safe* surface with idaptik #8 .github/workflows/workflow-linter.yml #81: Commit bdb1863 pushed by hyperpolymath
Failure issue-58-api-surface
issue-58-api-surface
Failure
ci(antipattern): fix top-level dir + benchmark/lsp filename matching … .github/workflows/workflow-linter.yml #80: Commit 61b9a0b pushed by hyperpolymath
Failure main
main
Failure
ci(antipattern): fix top-level dir matching + benchmarks/lsp/bench fi… .github/workflows/workflow-linter.yml #79: Commit 87dc799 pushed by hyperpolymath
Failure ci/antipattern-dynamic-exemptions-v3-1
ci/antipattern-dynamic-exemptions-v3-1
Failure
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#6) .github/workflows/workflow-linter.yml #78: Commit 03deadb pushed by hyperpolymath
Failure main
main
Failure
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#6) .github/workflows/workflow-linter.yml #77: Commit 03deadb pushed by hyperpolymath
Failure main
main
Failure
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table .github/workflows/workflow-linter.yml #76: Commit 58846c6 pushed by hyperpolymath
Failure ci/antipattern-dynamic-exemptions
ci/antipattern-dynamic-exemptions
Failure
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vsco… .github/workflows/workflow-linter.yml #75: Commit 5937efc pushed by hyperpolymath
Failure main
main
Failure
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vsco… .github/workflows/workflow-linter.yml #74: Commit 5937efc pushed by hyperpolymath
Failure main
main
Failure