Skip to content

Actions: hyperpolymath/SMTLib.jl

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
73 workflow runs
73 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
refactor: migrate Markdown to AsciiDoc (#32) Mirror to Git Forges #73: Commit 92171a8 pushed by hyperpolymath
1s main
main
1s
chore(nix->guix): delete Nix estate-wide (#138) (#31) Mirror to Git Forges #72: Commit e49e79d pushed by hyperpolymath
1s main
main
1s
chore(guix): quality pass - fix stub/invalid names (#139) (#30) Mirror to Git Forges #71: Commit 5e92dc4 pushed by hyperpolymath
8s main
main
8s
chore: sync all branches and estate-wide config updates (#29) Mirror to Git Forges #70: Commit 19a5cbc pushed by hyperpolymath
1s main
main
1s
ci: align Julia setup and cache action pins (#27) Mirror to Git Forges #69: Commit 164ed40 pushed by hyperpolymath
1s main
main
1s
chore(ci): make Scorecard periodic, not per-push (#26) Mirror to Git Forges #68: Commit 47899f3 pushed by hyperpolymath
1s main
main
1s
fix(security): upgrade secret scanning from retired trufflehog to git… Mirror to Git Forges #67: Commit 7518e0b pushed by hyperpolymath
6s main
main
6s
fix(ci): repair never-parsed workflow(s) — job-level hashFiles() if (… Mirror to Git Forges #66: Commit 079de1a pushed by hyperpolymath
1s main
main
1s
Sync local commits to main (#22) Mirror to Git Forges #65: Commit 117dc90 pushed by hyperpolymath
9s main
main
9s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Mirror to Git Forges #64: Commit 9d734d4 pushed by hyperpolymath
1s main
main
1s
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minut… Mirror to Git Forges #63: Commit 7622a5c pushed by hyperpolymath
1s main
main
1s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#19) Mirror to Git Forges #62: Commit 16695bb pushed by hyperpolymath
8s main
main
8s
feat(ci): attest build provenance (#18) Mirror to Git Forges #61: Commit f21efb9 pushed by hyperpolymath
1s main
main
1s
chore(clade): backfill [status] lifecycle block (default active) (#16) Mirror to Git Forges #60: Commit eb352f5 pushed by hyperpolymath
1s main
main
1s
chore(ci): add dormant push-email notification workflow (#17) Mirror to Git Forges #59: Commit 9781680 pushed by hyperpolymath
1s main
main
1s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#15) Mirror to Git Forges #58: Commit 7b881d7 pushed by hyperpolymath
2s main
main
2s
chore: retire local issue/discussion templates -> inherit org .github… Mirror to Git Forges #57: Commit a6f707c pushed by hyperpolymath
2s main
main
2s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Mirror to Git Forges #56: Commit 57a9af6 pushed by hyperpolymath
1s main
main
1s
security: standardize secret scanning on TruffleHog Mirror to Git Forges #55: Commit 4f83004 pushed by hyperpolymath
1s main
main
1s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#14) Mirror to Git Forges #54: Commit 5af0462 pushed by hyperpolymath
1s main
main
1s
ci: replace fake julia-actions/setup-julia SHA (824fb972 → 4c0cb0fc) … Mirror to Git Forges #53: Commit 9f76ebf pushed by hyperpolymath
1s main
main
1s
chore(ci): replace scorecard.yml with reusable wrapper (#12) Mirror to Git Forges #52: Commit 5e668c1 pushed by hyperpolymath
1s main
main
1s
chore(ci): replace secret-scanner.yml with reusable wrapper (#11) Mirror to Git Forges #51: Commit 6f2230c pushed by hyperpolymath
2s main
main
2s
chore(ci): replace mirror.yml with reusable wrapper (#10) Mirror to Git Forges #50: Commit a4ed2a6 pushed by hyperpolymath
2s main
main
2s
chore(ci): convert hypatia-scan.yml to wrapper of standards reusable … Mirror to Git Forges #49: Commit 2685b79 pushed by hyperpolymath
1s main
main
1s