Skip to content

Actions: hyperpolymath/SMTLib.jl

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
40 workflow runs
40 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) Governance #40: Commit 117dc90 pushed by hyperpolymath
1h 5m 48s main
main
1h 5m 48s
Sync local commits to main Governance #39: Pull request #22 opened by hyperpolymath
1h 4m 12s sync-local-updates-1784831563
sync-local-updates-1784831563
1h 4m 12s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Governance #38: Commit 9d734d4 pushed by hyperpolymath
2h 44m 25s main
main
2h 44m 25s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Governance #37: Pull request #21 opened by hyperpolymath
1h 29m 50s fix/governance-gate-sweep
fix/governance-gate-sweep
1h 29m 50s
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minut… Governance #36: Commit 7622a5c pushed by hyperpolymath
38m 49s main
main
38m 49s
fix(ci): clear OSSF Scorecard startup_failure Governance #35: Pull request #20 opened by hyperpolymath
9m 8s fix/scorecard-caller-startup
fix/scorecard-caller-startup
9m 8s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#19) Governance #34: Commit 16695bb pushed by hyperpolymath
2h 16m 2s main
main
2h 16m 2s
ci: refresh standards reusable pins to current HEAD (d7c2271) Governance #33: Pull request #19 opened by hyperpolymath
2h 16m 10s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2h 16m 10s
feat(ci): attest build provenance (#18) Governance #32: Commit f21efb9 pushed by hyperpolymath
9h 22m 27s main
main
9h 22m 27s
feat(ci): attest build provenance Governance #31: Pull request #18 opened by hyperpolymath
9h 38m 47s feat/attest-build-provenance
feat/attest-build-provenance
9h 38m 47s
chore(clade): backfill [status] lifecycle block (default active) (#16) Governance #30: Commit eb352f5 pushed by hyperpolymath
21h 16m 9s main
main
21h 16m 9s
chore(ci): add dormant push-email notification workflow (#17) Governance #29: Commit 9781680 pushed by hyperpolymath
20h 26m 18s main
main
20h 26m 18s
chore(ci): add dormant push-email notification workflow Governance #28: Pull request #17 opened by hyperpolymath
20h 9m 57s chore/push-email-notify
chore/push-email-notify
20h 9m 57s
chore(clade): backfill [status] lifecycle block Governance #27: Pull request #16 opened by hyperpolymath
19h 18m 10s chore/clade-status-backfill
chore/clade-status-backfill
19h 18m 10s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#15) Governance #26: Commit 7b881d7 pushed by hyperpolymath
17h 53m 3s main
main
17h 53m 3s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Governance #25: Pull request #15 opened by hyperpolymath
17h 38m 48s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
17h 38m 48s
chore: retire local issue/discussion templates -> inherit org .github… Governance #24: Commit a6f707c pushed by hyperpolymath
1h 17m 36s main
main
1h 17m 36s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Governance #23: Commit 57a9af6 pushed by hyperpolymath
26s main
main
26s
security: standardize secret scanning on TruffleHog Governance #22: Commit 4f83004 pushed by hyperpolymath
Failure main
main
Failure
Apply estate standardization: governance docs, contractiles, CI/CD cl… Governance #21: Commit 1dd0255 pushed by hyperpolymath
Failure estate-standardization-20260607
estate-standardization-20260607
Failure
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#14) Governance #20: Commit 5af0462 pushed by hyperpolymath
14h 57m 28s main
main
14h 57m 28s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) Governance #19: Pull request #14 opened by hyperpolymath
13h 32m 59s ci/repin-orphan-reusable-shas
ci/repin-orphan-reusable-shas
13h 32m 59s
ci: replace fake julia-actions/setup-julia SHA (824fb972 → 4c0cb0fc) … Governance #18: Commit 9f76ebf pushed by hyperpolymath
54m 53s main
main
54m 53s
ci: replace fake julia-actions/setup-julia SHA (824fb972 → 4c0cb0fc) Governance #17: Pull request #13 opened by hyperpolymath
11h 8m 31s ci/replace-julia-fake-setup-julia-sha
ci/replace-julia-fake-setup-julia-sha
11h 8m 31s
chore(ci): replace scorecard.yml with reusable wrapper (#12) Governance #16: Commit 5e668c1 pushed by hyperpolymath
7h 11m 2s main
main
7h 11m 2s