Skip to content

Actions: hyperpolymath/proven

Actions

.github/workflows/idris2-ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
idris2-ci.yml
457 workflow runs
457 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
[P1] Explicit postulate sweep (Fork A) (#189) .github/workflows/idris2-ci.yml #457: Commit 6c80e0b pushed by hyperpolymath
-1s main
main
-1s
chore: explicit postulate sweep for bodyless declarations (standards#… .github/workflows/idris2-ci.yml #456: Commit 2deab08 pushed by hyperpolymath
Failure fix-158-bodyless-postulates
fix-158-bodyless-postulates
Failure
fix(ci): estate-wide foundational remediation (#188) .github/workflows/idris2-ci.yml #455: Commit c0a762f pushed by hyperpolymath
Failure main
main
Failure
fix(ci): estate-wide foundational remediation .github/workflows/idris2-ci.yml #454: Commit b1aeac5 pushed by hyperpolymath
Failure fix-ci-estate
fix-ci-estate
Failure
Sync local commits to main (#187) .github/workflows/idris2-ci.yml #453: Commit b2b534d pushed by hyperpolymath
Failure main
main
Failure
sweep4: add C-A-G-M files .github/workflows/idris2-ci.yml #452: Commit 5b9790d pushed by hyperpolymath
Failure sync-local-updates-1784830614
sync-local-updates-1784830614
Failure
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… .github/workflows/idris2-ci.yml #451: Commit a81b6f6 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… .github/workflows/idris2-ci.yml #450: Commit 4b71417 pushed by hyperpolymath
Failure fix/governance-gate-sweep
fix/governance-gate-sweep
Failure
fix(ci): drop the retired inline trufflehog job (#185) .github/workflows/idris2-ci.yml #449: Commit 6295ff5 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): drop the retired inline trufflehog job .github/workflows/idris2-ci.yml #448: Commit d0cadd4 pushed by hyperpolymath
Failure fix/drop-retired-trufflehog-job
fix/drop-retired-trufflehog-job
Failure
ci: deploy docs via Ddraig SSG (#183) .github/workflows/idris2-ci.yml #447: Commit 0368e08 pushed by hyperpolymath
Failure main
main
Failure
ci: mass-deploy Ddraig SSG workflow .github/workflows/idris2-ci.yml #446: Commit 94b37eb pushed by hyperpolymath
Failure feat/ddraig-pages-mass
feat/ddraig-pages-mass
Failure
fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p… .github/workflows/idris2-ci.yml #445: Commit af466ea pushed by hyperpolymath
Failure main
main
Failure
fix(ci): drop invalid job-level timeout-minutes from reusable-workflo… .github/workflows/idris2-ci.yml #444: Commit 9f12c29 pushed by hyperpolymath
Failure fix/ci-timeout-minutes-reusable
fix/ci-timeout-minutes-reusable
Failure
ci: Secret Scanner caller must grant the reusable's job permissions (… .github/workflows/idris2-ci.yml #443: Commit 302f2a4 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): clear OSSF Scorecard startup_failure (#180) .github/workflows/idris2-ci.yml #442: Commit 5d78093 pushed by hyperpolymath
Failure main
main
Failure
ci: grant Secret Scanner caller the reusable's job permissions .github/workflows/idris2-ci.yml #441: Commit 733aec4 pushed by hyperpolymath
Failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Failure
fix(ci): switch to permissionless reusable workflow .github/workflows/idris2-ci.yml #440: Commit 503b608 pushed by hyperpolymath
Failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Failure
fix(ci): clear OSSF Scorecard startup_failure (#180) .github/workflows/idris2-ci.yml #439: Commit 5d78093 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minutes) .github/workflows/idris2-ci.yml #438: Commit 216f59e pushed by hyperpolymath
Failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Failure
ci(governance): bump governance-reusable.yml pin to include hypatia#5… .github/workflows/idris2-ci.yml #437: Commit 2c081f7 pushed by hyperpolymath
Failure main
main
Failure
ci(governance): bump governance-reusable.yml pin to include hypatia#5… .github/workflows/idris2-ci.yml #436: Commit 2c081f7 pushed by hyperpolymath
Failure main
main
Failure
ci(governance): bump governance-reusable.yml pin to include hypatia#5… .github/workflows/idris2-ci.yml #435: Commit 3716278 pushed by hyperpolymath
Failure bump-governance-reusable-pin
bump-governance-reusable-pin
Failure
ECOSYSTEM: record proven-tests-and-benches as the test framework (#178) .github/workflows/idris2-ci.yml #434: Commit 8a232b8 pushed by hyperpolymath
Failure main
main
Failure
ECOSYSTEM: record proven-tests-and-benches as the test framework .github/workflows/idris2-ci.yml #433: Commit 461ee4d pushed by hyperpolymath
Failure claude/testing-strategy-review-j6wr1r
claude/testing-strategy-review-j6wr1r
Failure