Skip to content

Actions: hyperpolymath/halideiser

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
91 workflow runs
91 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
feat(labels): estate label tooling + auto-triage for new issues (#59) Mirror to Git Forges #91: Commit 67ce5fb pushed by hyperpolymath
8s main
main
8s
fix(ci): unbreak workflow YAML and add a complete actions.lock (#57) Mirror to Git Forges #90: Commit 9784272 pushed by hyperpolymath
2s main
main
2s
refactor: migrate Markdown to AsciiDoc (#56) Mirror to Git Forges #89: Commit 7256a3a pushed by hyperpolymath
-1s main
main
-1s
chore(nix->guix): delete Nix estate-wide (#138) Mirror to Git Forges #88: Commit aa6a86f pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump the actions group with 3 updates (#55) Mirror to Git Forges #87: Commit 8725b75 pushed by hyperpolymath
Startup failure main
main
Startup failure
Merge remote-tracking branch 'origin/fix/readme-adoc-to-markdown' Mirror to Git Forges #86: Commit 7e7ffca pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump the actions group with 2 updates (#54) Mirror to Git Forges #85: Commit a0ac6f4 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(ci): SPDX headers on line 1 and Actions lockfile minted (#53) Mirror to Git Forges #84: Commit 747d9e8 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(ci): make Scorecard periodic, not per-push (#52) Mirror to Git Forges #83: Commit 49e4af9 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump the actions group with 13 updates (#50) Mirror to Git Forges #82: Commit 694402e pushed by hyperpolymath
1s main
main
1s
fix(codeowners): substitute the un-instantiated {{OWNER}} placeholder… Mirror to Git Forges #81: Commit 238d7b0 pushed by hyperpolymath
2s main
main
2s
ci: vendor validation scripts and remove remote action pins (#48) Mirror to Git Forges #80: Commit 882e340 pushed by hyperpolymath
2s main
main
2s
fix(ci): re-point validate-action references at the ecosystem repos (… Mirror to Git Forges #79: Commit f0f8391 pushed by hyperpolymath
1s main
main
1s
fix(ci): repair dogfood-gate.yml — the workflow has never run (#46) Mirror to Git Forges #78: Commit 51bc02c pushed by hyperpolymath
11s main
main
11s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Mirror to Git Forges #77: Commit ab6116e pushed by hyperpolymath
1s main
main
1s
security: re-pin secret scanner onto the real gitleaks gate (#44) Mirror to Git Forges #76: Commit ec8ee09 pushed by hyperpolymath
1s main
main
1s
ci: Secret Scanner caller must grant the reusable's job permissions (… Mirror to Git Forges #75: Commit 13d0e80 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#42) Mirror to Git Forges #74: Commit c763d82 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#41) Mirror to Git Forges #73: Commit 312ce8f pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin (#40) Mirror to Git Forges #72: Commit 2d8a1cf pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#39) Mirror to Git Forges #71: Commit 1c0b550 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Mirror to Git Forges #70: Commit 0088171 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: schedule equivalence is an equivalence relation (reflexi… Mirror to Git Forges #69: Commit 8544be8 pushed by hyperpolymath
1s main
main
1s
feat(abi): prove schedule equivalence for loop split (Layer 2) (#36) Mirror to Git Forges #68: Commit 7e3f5ee pushed by hyperpolymath
2s main
main
2s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#35) Mirror to Git Forges #67: Commit e190e0f pushed by hyperpolymath
2s main
main
2s