Skip to content

Actions: hyperpolymath/SMTLib.jl

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
55 workflow runs
55 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: add Signed commits section to CONTRIBUTING (#42) GitHub Pages #55: Commit 5de1e11 pushed by hyperpolymath
9s main
main
9s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3… GitHub Pages #54: Commit 4023bec pushed by hyperpolymath
3m 41s main
main
3m 41s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… GitHub Pages #53: Commit 553d49e pushed by hyperpolymath
1h 35m 33s main
main
1h 35m 33s
chore(ci): remove dead Codecov upload steps + lock pins (#39) GitHub Pages #52: Commit 3bc4420 pushed by hyperpolymath
15m 23s main
main
15m 23s
fix(docs): render the repository-structure tree as a tree (#38) GitHub Pages #51: Commit 43fb5be pushed by hyperpolymath
8s main
main
8s
fix(docs): repoint references to the relocated contributing guide (#37) GitHub Pages #50: Commit 8b24683 pushed by hyperpolymath
5m 5s main
main
5m 5s
refactor(root): move root artefacts to their canonical locations (#36) GitHub Pages #49: Commit d5ca496 pushed by hyperpolymath
19m 50s main
main
19m 50s
chore(www): migrate root .well-known/ to www/.well-known/ (#35) GitHub Pages #48: Commit 232c511 pushed by hyperpolymath
1h 17m 56s main
main
1h 17m 56s
chore(ci): repoint push-email-notify to smtp-notify-action (#34) GitHub Pages #47: Commit ced990e pushed by hyperpolymath
16m 26s main
main
16m 26s
feat(labels): estate label tooling + auto-triage for new issues (#33) GitHub Pages #46: Commit b657a5a pushed by hyperpolymath
2h 19m 12s main
main
2h 19m 12s
refactor: migrate Markdown to AsciiDoc (#32) GitHub Pages #45: Commit 92171a8 pushed by hyperpolymath
26m 4s main
main
26m 4s
chore(nix->guix): delete Nix estate-wide (#138) (#31) GitHub Pages #44: Commit e49e79d pushed by hyperpolymath
3h 30m 25s main
main
3h 30m 25s
chore(guix): quality pass - fix stub/invalid names (#139) (#30) GitHub Pages #43: Commit 5e92dc4 pushed by hyperpolymath
47m 33s main
main
47m 33s
chore: sync all branches and estate-wide config updates (#29) GitHub Pages #42: Commit 19a5cbc pushed by hyperpolymath
23m 46s main
main
23m 46s
ci: align Julia setup and cache action pins (#27) GitHub Pages #41: Commit 164ed40 pushed by hyperpolymath
15m 28s main
main
15m 28s
chore(ci): make Scorecard periodic, not per-push (#26) GitHub Pages #40: Commit 47899f3 pushed by hyperpolymath
1h 56m 47s main
main
1h 56m 47s
fix(security): upgrade secret scanning from retired trufflehog to git… GitHub Pages #39: Commit 7518e0b pushed by hyperpolymath
30m 1s main
main
30m 1s
fix(ci): repair never-parsed workflow(s) — job-level hashFiles() if (… GitHub Pages #38: Commit 079de1a pushed by hyperpolymath
15m 26s main
main
15m 26s
Sync local commits to main (#22) GitHub Pages #37: Commit 117dc90 pushed by hyperpolymath
1h 19m 42s main
main
1h 19m 42s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… GitHub Pages #36: Commit 9d734d4 pushed by hyperpolymath
3h 2m 1s main
main
3h 2m 1s
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minut… GitHub Pages #35: Commit 7622a5c pushed by hyperpolymath
57m 3s main
main
57m 3s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#19) GitHub Pages #34: Commit 16695bb pushed by hyperpolymath
2h 22m 37s main
main
2h 22m 37s
feat(ci): attest build provenance (#18) GitHub Pages #33: Commit f21efb9 pushed by hyperpolymath
9h 56m 36s main
main
9h 56m 36s
chore(clade): backfill [status] lifecycle block (default active) (#16) GitHub Pages #32: Commit eb352f5 pushed by hyperpolymath
14h 4m 16s main
main
14h 4m 16s
chore(ci): add dormant push-email notification workflow (#17) GitHub Pages #31: Commit 9781680 pushed by hyperpolymath
16m 44s main
main
16m 44s