Skip to content

Actions: hyperpolymath/absolute-zero

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
24 workflow runs
24 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(ci): rsr-antipattern.yml duplicate heredoc (#13) Mirror to Git Forges #24: Commit af75472 pushed by hyperpolymath
2s main
main
2s
fix(ci): move secret-scanner Cargo.toml gate from job-level if: to st… Mirror to Git Forges #23: Commit ab938aa pushed by hyperpolymath
2s main
main
2s
ci: bump actions/upload-artifact SHA to current v4 (#12) Mirror to Git Forges #22: Commit dcaa5ff pushed by hyperpolymath
1s main
main
1s
ci(secret-scanner): drop duplicate --fail from trufflehog extra_args … Mirror to Git Forges #21: Commit f42ae54 pushed by hyperpolymath
2s main
main
2s
ci: fix workflow-linter YAML parse error + self-flag bug Mirror to Git Forges #20: Commit e9629b7 pushed by hyperpolymath
1s main
main
1s
chore(deps): bump github/codeql-action in the actions group (#10) Mirror to Git Forges #19: Commit ccc9c25 pushed by hyperpolymath
1s main
main
1s
ci(antipattern): fix top-level dir matching + benchmarks/lsp/bench fi… Mirror to Git Forges #18: Commit 039ffa7 pushed by hyperpolymath
1s main
main
1s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#8) Mirror to Git Forges #17: Commit 3930f99 pushed by hyperpolymath
1s main
main
1s
ci(antipattern): broaden TS allowlist (cli/, mod.ts, lsp-server, *vsc… Mirror to Git Forges #16: Commit 7fe5359 pushed by hyperpolymath
1s main
main
1s
ci(antipattern): allowlist legit TS bridge/adapter paths (#6) Mirror to Git Forges #15: Commit 8fefeff pushed by hyperpolymath
1s main
main
1s
chore(deps): bump github/codeql-action in the actions group (#5) Mirror to Git Forges #14: Commit 7ebe33f pushed by hyperpolymath
1s main
main
1s
fix(CNO,lib): typecheck CNO.agda under --safe + add agda-lib Mirror to Git Forges #13: Commit 0f8b01d pushed by hyperpolymath
1s main
main
1s
feat(absolute-zero): complete loadStore_preserves_memory proof — no s… Mirror to Git Forges #12: Commit abd5a3a pushed by hyperpolymath
1s main
main
1s
chore(deps): bump trufflesecurity/trufflehog in the actions group (#4) Mirror to Git Forges #11: Commit e65752a pushed by hyperpolymath
1s main
main
1s
feat(ai-manifest): add ECHIDNA call-protocol snippet (Package 8) Mirror to Git Forges #10: Commit 842bd35 pushed by hyperpolymath
1s main
main
1s
chore(contractiles): add bust/ + relocate k9 to svc/ Mirror to Git Forges #9: Commit 315feb3 pushed by hyperpolymath
1s main
main
1s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… Mirror to Git Forges #8: Commit b151765 pushed by hyperpolymath
1s main
main
1s
Standardize workspace: Capitalize Justfile references in scripts and … Mirror to Git Forges #7: Commit 3d52acd pushed by hyperpolymath
1s main
main
1s
Standardize workspace: Justfile migration and A2ML directive cleanup Mirror to Git Forges #6: Commit e8be300 pushed by hyperpolymath
Skipped main
main
Skipped
Merge pull request #3 from hyperpolymath/fix/issue-2-abi-types Mirror to Git Forges #5: Commit 4654410 pushed by hyperpolymath
1s main
main
1s
chore(deps): bump the actions group with 15 updates (#1) Mirror to Git Forges #4: Commit b0b15bf pushed by hyperpolymath
1s main
main
1s
proof(lean4/LambdaCNO): close church_zero (1 of 6); document 5 spec-b… Mirror to Git Forges #3: Commit be301df pushed by hyperpolymath
1s main
main
1s
proof(absolute-zero): close FilesystemCNO.lean sorry (idempotent != CNO) Mirror to Git Forges #2: Commit 6cd1c72 pushed by hyperpolymath
2s main
main
2s
proofs: eliminate believe_me in src/abi/Layout.idr (6 → 0) Mirror to Git Forges #1: Commit 02c2c85 pushed by hyperpolymath
1s main
main
1s