Skip to content

Actions: hyperpolymath/SMTLib.jl

Actions

.github/workflows/secret-scanner.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
secret-scanner.yml
89 workflow runs
89 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
Sync local commits to main (#22) .github/workflows/secret-scanner.yml #89: Commit 117dc90 pushed by hyperpolymath
Failure main
main
Failure
sweep4: add C-A-G-M files .github/workflows/secret-scanner.yml #88: Commit a11a8da pushed by hyperpolymath
Failure sync-local-updates-1784831563
sync-local-updates-1784831563
Failure
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… .github/workflows/secret-scanner.yml #87: Commit 9d734d4 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… .github/workflows/secret-scanner.yml #86: Commit 610bdd6 pushed by hyperpolymath
Failure fix/governance-gate-sweep
fix/governance-gate-sweep
Failure
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minut… .github/workflows/secret-scanner.yml #85: Commit 7622a5c pushed by hyperpolymath
Failure main
main
Failure
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minutes) .github/workflows/secret-scanner.yml #84: Commit adb9118 pushed by hyperpolymath
Failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Failure
ci: refresh standards reusable pins to current HEAD (d7c2271) (#19) .github/workflows/secret-scanner.yml #83: Commit 16695bb pushed by hyperpolymath
-1s main
main
-1s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#19) .github/workflows/secret-scanner.yml #82: Commit 16695bb pushed by hyperpolymath
Failure main
main
Failure
ci: re-pin scorecard reusable to standards HEAD d7c2271 (hypatia#464) .github/workflows/secret-scanner.yml #81: Commit d345b3b pushed by hyperpolymath
Failure ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
Failure
ci: re-pin governance reusable to standards HEAD d7c2271 (hypatia#464) .github/workflows/secret-scanner.yml #80: Commit 109993a pushed by hyperpolymath
Failure ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
Failure
ci: re-pin hypatia-scan reusable to standards HEAD d7c2271 (hypatia#464) .github/workflows/secret-scanner.yml #79: Commit d4e06c0 pushed by hyperpolymath
Failure ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
Failure
feat(ci): attest build provenance (#18) .github/workflows/secret-scanner.yml #78: Commit f21efb9 pushed by hyperpolymath
Failure main
main
Failure
feat(ci): attest build provenance (#18) .github/workflows/secret-scanner.yml #77: Commit f21efb9 pushed by hyperpolymath
Failure main
main
Failure
feat(ci): attest build provenance .github/workflows/secret-scanner.yml #76: Commit fd5a51e pushed by hyperpolymath
Failure feat/attest-build-provenance
feat/attest-build-provenance
Failure
chore(clade): backfill [status] lifecycle block (default active) (#16) .github/workflows/secret-scanner.yml #75: Commit eb352f5 pushed by hyperpolymath
Failure main
main
Failure
chore(ci): add dormant push-email notification workflow (#17) .github/workflows/secret-scanner.yml #74: Commit 9781680 pushed by hyperpolymath
Failure main
main
Failure
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#15) .github/workflows/secret-scanner.yml #73: Commit 7b881d7 pushed by hyperpolymath
Failure main
main
Failure
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) .github/workflows/secret-scanner.yml #72: Commit c1ca28a pushed by hyperpolymath
Failure chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
Failure
chore(ci): add dormant push-email notification workflow .github/workflows/secret-scanner.yml #71: Commit 25d2ca1 pushed by hyperpolymath
Failure chore/push-email-notify
chore/push-email-notify
Failure
chore(clade): backfill [status] lifecycle block (default active) .github/workflows/secret-scanner.yml #70: Commit 57d6818 pushed by hyperpolymath
Failure chore/clade-status-backfill
chore/clade-status-backfill
Failure
chore: retire local issue/discussion templates -> inherit org .github… .github/workflows/secret-scanner.yml #69: Commit a6f707c pushed by hyperpolymath
Failure main
main
Failure
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… .github/workflows/secret-scanner.yml #68: Commit 57a9af6 pushed by hyperpolymath
Failure main
main
Failure
security: standardize secret scanning on TruffleHog .github/workflows/secret-scanner.yml #67: Commit 4f83004 pushed by hyperpolymath
Failure main
main
Failure
Apply estate standardization: governance docs, contractiles, CI/CD cl… .github/workflows/secret-scanner.yml #66: Commit 1dd0255 pushed by hyperpolymath
Failure estate-standardization-20260607
estate-standardization-20260607
Failure
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#14) .github/workflows/secret-scanner.yml #65: Commit 5af0462 pushed by hyperpolymath
14h 51m 4s main
main
14h 51m 4s