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
50 workflow runs
50 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) 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
ci: refresh standards reusable pins to current HEAD (d7c2271) (#19) BoJ Server Build Trigger #47: Commit 16695bb pushed by hyperpolymath
2h 7m 49s main
main
2h 7m 49s
feat(ci): attest build provenance (#18) BoJ Server Build Trigger #46: Commit f21efb9 pushed by hyperpolymath
9h 24m 17s main
main
9h 24m 17s
chore(clade): backfill [status] lifecycle block (default active) (#16) BoJ Server Build Trigger #45: Commit eb352f5 pushed by hyperpolymath
21h 17m 5s main
main
21h 17m 5s
chore(ci): add dormant push-email notification workflow (#17) BoJ Server Build Trigger #44: Commit 9781680 pushed by hyperpolymath
20h 26m 36s main
main
20h 26m 36s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#15) BoJ Server Build Trigger #43: Commit 7b881d7 pushed by hyperpolymath
17h 50m 35s main
main
17h 50m 35s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #42: Commit a6f707c pushed by hyperpolymath
1h 18m 31s main
main
1h 18m 31s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #41: Commit 57a9af6 pushed by hyperpolymath
28s main
main
28s
security: standardize secret scanning on TruffleHog BoJ Server Build Trigger #40: Commit 4f83004 pushed by hyperpolymath
50s main
main
50s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#14) BoJ Server Build Trigger #39: Commit 5af0462 pushed by hyperpolymath
14h 51m 41s main
main
14h 51m 41s
ci: replace fake julia-actions/setup-julia SHA (824fb972 → 4c0cb0fc) … BoJ Server Build Trigger #38: Commit 9f76ebf pushed by hyperpolymath
11h 9m 56s main
main
11h 9m 56s
chore(ci): replace scorecard.yml with reusable wrapper (#12) BoJ Server Build Trigger #37: Commit 5e668c1 pushed by hyperpolymath
7h 4m 32s main
main
7h 4m 32s
chore(ci): replace secret-scanner.yml with reusable wrapper (#11) BoJ Server Build Trigger #36: Commit 6f2230c pushed by hyperpolymath
6h 57m 52s main
main
6h 57m 52s
chore(ci): replace mirror.yml with reusable wrapper (#10) BoJ Server Build Trigger #35: Commit a4ed2a6 pushed by hyperpolymath
6h 57m 55s main
main
6h 57m 55s
chore(ci): convert hypatia-scan.yml to wrapper of standards reusable … BoJ Server Build Trigger #34: Commit 2685b79 pushed by hyperpolymath
2h 5m 45s main
main
2h 5m 45s
chore: migrate license from PMPL-1.0-or-later to MPL-2.0 BoJ Server Build Trigger #33: Commit dc61653 pushed by hyperpolymath
34m 19s main
main
34m 19s
fix(licence): clear scaffold-placeholder leak (Tranche 2) (#8) BoJ Server Build Trigger #32: Commit 99717f5 pushed by hyperpolymath
5h 45m 27s main
main
5h 45m 27s
harden(ci): concurrency-cancel guard on canonical check workflows (#7) BoJ Server Build Trigger #31: Commit 806a1a3 pushed by hyperpolymath
10h 22m 13s main
main
10h 22m 13s
fix(ci): sync hypatia-scan.yml to canonical (413: env.HOME+Phase-2+SA… BoJ Server Build Trigger #30: Commit 9093ee3 pushed by hyperpolymath
1d 0h 0m 2s main
main
1d 0h 0m 2s
chore(ci): replace per-repo governance copies with shared bundle wrapper BoJ Server Build Trigger #29: Commit 43a1175 pushed by hyperpolymath
8h 45m 54s main
main
8h 45m 54s
fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + … BoJ Server Build Trigger #28: Commit 0ee6228 pushed by hyperpolymath
55m 50s main
main
55m 50s
docs(readme): add SPDX header and/or standard badges BoJ Server Build Trigger #27: Commit afe48b4 pushed by hyperpolymath
1h 26m 6s main
main
1h 26m 6s
chore(ci): update codeql-action SHA to v3.35.2 BoJ Server Build Trigger #26: Commit e76ed4b pushed by hyperpolymath
3m 43s main
main
3m 43s