Skip to content

Actions: hyperpolymath/SMTLib.jl

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
72 workflow runs
72 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
fix: make SMTLib load (math.jl swap, duplicate structs) and repin jul… BoJ Server Build Trigger #72: Commit 487c7ab pushed by hyperpolymath
43s main
main
43s
fix(pkg)!: re-mint UUID as v8, bump to 0.2.1 (#46) BoJ Server Build Trigger #71: Commit 571ab8b pushed by hyperpolymath
21s main
main
21s
fix(ci): let setup-julia pick the runner arch (macOS legs) (#45) BoJ Server Build Trigger #70: Commit 93305d8 pushed by hyperpolymath
5m 28s main
main
5m 28s
chore(deps): bump the actions group with 14 updates (#44) BoJ Server Build Trigger #69: Commit 83302a7 pushed by hyperpolymath
5m 47s main
main
5m 47s
docs: add Signed commits section to CONTRIBUTING (#42) BoJ Server Build Trigger #68: Commit 5de1e11 pushed by hyperpolymath
19s main
main
19s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3… BoJ Server Build Trigger #67: Commit 4023bec pushed by hyperpolymath
2m 24s main
main
2m 24s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… BoJ Server Build Trigger #66: Commit 553d49e pushed by hyperpolymath
1h 35m 19s main
main
1h 35m 19s
chore(ci): remove dead Codecov upload steps + lock pins (#39) BoJ Server Build Trigger #65: Commit 3bc4420 pushed by hyperpolymath
14m 59s main
main
14m 59s
fix(docs): render the repository-structure tree as a tree (#38) BoJ Server Build Trigger #64: Commit 43fb5be pushed by hyperpolymath
7s main
main
7s
fix(docs): repoint references to the relocated contributing guide (#37) BoJ Server Build Trigger #63: Commit 8b24683 pushed by hyperpolymath
6m 9s main
main
6m 9s
refactor(root): move root artefacts to their canonical locations (#36) BoJ Server Build Trigger #62: Commit d5ca496 pushed by hyperpolymath
19m 51s main
main
19m 51s
chore(www): migrate root .well-known/ to www/.well-known/ (#35) BoJ Server Build Trigger #61: Commit 232c511 pushed by hyperpolymath
1h 19m 47s main
main
1h 19m 47s
chore(ci): repoint push-email-notify to smtp-notify-action (#34) BoJ Server Build Trigger #60: Commit ced990e pushed by hyperpolymath
2m 5s main
main
2m 5s
feat(labels): estate label tooling + auto-triage for new issues (#33) BoJ Server Build Trigger #59: Commit b657a5a pushed by hyperpolymath
2h 5m 11s main
main
2h 5m 11s
refactor: migrate Markdown to AsciiDoc (#32) BoJ Server Build Trigger #58: Commit 92171a8 pushed by hyperpolymath
12m 12s main
main
12m 12s
chore(nix->guix): delete Nix estate-wide (#138) (#31) BoJ Server Build Trigger #57: Commit e49e79d pushed by hyperpolymath
2h 14m 56s main
main
2h 14m 56s
chore(guix): quality pass - fix stub/invalid names (#139) (#30) BoJ Server Build Trigger #56: Commit 5e92dc4 pushed by hyperpolymath
31m 3s main
main
31m 3s
chore: sync all branches and estate-wide config updates (#29) BoJ Server Build Trigger #55: Commit 19a5cbc pushed by hyperpolymath
10m 26s main
main
10m 26s
ci: align Julia setup and cache action pins (#27) BoJ Server Build Trigger #54: Commit 164ed40 pushed by hyperpolymath
15s main
main
15s
chore(ci): make Scorecard periodic, not per-push (#26) BoJ Server Build Trigger #53: Commit 47899f3 pushed by hyperpolymath
1h 41m 20s main
main
1h 41m 20s
fix(security): upgrade secret scanning from retired trufflehog to git… BoJ Server Build Trigger #52: Commit 7518e0b pushed by hyperpolymath
13m 54s main
main
13m 54s
fix(ci): repair never-parsed workflow(s) — job-level hashFiles() if (… BoJ Server Build Trigger #51: Commit 079de1a pushed by hyperpolymath
14s main
main
14s
Sync local commits to main (#22) BoJ Server Build Trigger #50: Commit 117dc90 pushed by hyperpolymath
1h 4m 27s main
main
1h 4m 27s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… BoJ Server Build Trigger #49: Commit 9d734d4 pushed by hyperpolymath
2h 44m 57s main
main
2h 44m 57s
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minut… BoJ Server Build Trigger #48: Commit 7622a5c pushed by hyperpolymath
38m 9s main
main
38m 9s