Skip to content

Actions: hyperpolymath/absolute-zero

Actions

TypeScript/JavaScript Blocker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
71 workflow runs
71 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(CNO,lib): typecheck CNO.agda under --safe + add agda-lib TypeScript/JavaScript Blocker #21: Commit 0f8b01d pushed by hyperpolymath
15s main
main
15s
feat(absolute-zero): complete loadStore_preserves_memory proof — no s… TypeScript/JavaScript Blocker #20: Commit abd5a3a pushed by hyperpolymath
21s main
main
21s
chore(deps): bump trufflesecurity/trufflehog in the actions group (#4) TypeScript/JavaScript Blocker #19: Commit e65752a pushed by hyperpolymath
1m 2s main
main
1m 2s
chore(deps): bump trufflesecurity/trufflehog from 3.94.3 to 3.95.2 in the actions group TypeScript/JavaScript Blocker #18: Pull request #4 opened by dependabot Bot
14s dependabot/github_actions/actions-d8ef2e9271
dependabot/github_actions/actions-d8ef2e9271
14s
chore(deps): bump trufflesecurity/trufflehog in the actions group TypeScript/JavaScript Blocker #17: Commit 0032cfa pushed by dependabot Bot
9s dependabot/github_actions/actions-d8ef2e9271
dependabot/github_actions/actions-d8ef2e9271
9s
feat(ai-manifest): add ECHIDNA call-protocol snippet (Package 8) TypeScript/JavaScript Blocker #16: Commit 842bd35 pushed by hyperpolymath
6m 52s main
main
6m 52s
chore(contractiles): add bust/ + relocate k9 to svc/ TypeScript/JavaScript Blocker #15: Commit 315feb3 pushed by hyperpolymath
5h 53m 14s main
main
5h 53m 14s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… TypeScript/JavaScript Blocker #14: Commit b151765 pushed by hyperpolymath
3h 18m 31s main
main
3h 18m 31s
Standardize workspace: Capitalize Justfile references in scripts and … TypeScript/JavaScript Blocker #13: Commit 3d52acd pushed by hyperpolymath
2h 48m 25s main
main
2h 48m 25s
Standardize workspace: Justfile migration and A2ML directive cleanup TypeScript/JavaScript Blocker #12: Commit e8be300 pushed by hyperpolymath
3m 1s main
main
3m 1s
Merge pull request #3 from hyperpolymath/fix/issue-2-abi-types TypeScript/JavaScript Blocker #11: Commit 4654410 pushed by hyperpolymath
10s main
main
10s
fix(abi): resolve Types.idr size proof accessibility + pointer typing TypeScript/JavaScript Blocker #10: Pull request #3 opened by hyperpolymath
8s fix/issue-2-abi-types
fix/issue-2-abi-types
8s
fix(abi): resolve size proof accessibility and pointer width typing TypeScript/JavaScript Blocker #9: Commit 48db993 pushed by hyperpolymath
11s fix/issue-2-abi-types
fix/issue-2-abi-types
11s
chore(deps): bump the actions group with 15 updates (#1) TypeScript/JavaScript Blocker #8: Commit b0b15bf pushed by hyperpolymath
10s main
main
10s
chore(deps): bump the actions group across 1 directory with 15 updates TypeScript/JavaScript Blocker #7: Pull request #1 synchronize by dependabot Bot
8s dependabot/github_actions/actions-5422b9698b
dependabot/github_actions/actions-5422b9698b
8s
chore(deps): bump the actions group with 15 updates TypeScript/JavaScript Blocker #6: Commit 40d5797 pushed by dependabot Bot
7s dependabot/github_actions/actions-5422b9698b
dependabot/github_actions/actions-5422b9698b
7s
proof(lean4/LambdaCNO): close church_zero (1 of 6); document 5 spec-b… TypeScript/JavaScript Blocker #5: Commit be301df pushed by hyperpolymath
17s main
main
17s
proof(absolute-zero): close FilesystemCNO.lean sorry (idempotent != CNO) TypeScript/JavaScript Blocker #4: Commit 6cd1c72 pushed by hyperpolymath
8s main
main
8s
chore(deps): bump the actions group across 1 directory with 15 updates TypeScript/JavaScript Blocker #3: Pull request #1 opened by dependabot Bot
16s dependabot/github_actions/actions-5422b9698b
dependabot/github_actions/actions-5422b9698b
16s
chore(deps): bump the actions group with 15 updates TypeScript/JavaScript Blocker #2: Commit 7af0398 pushed by dependabot Bot
9s dependabot/github_actions/actions-5422b9698b
dependabot/github_actions/actions-5422b9698b
9s
proofs: eliminate believe_me in src/abi/Layout.idr (6 → 0) TypeScript/JavaScript Blocker #1: Commit 02c2c85 pushed by hyperpolymath
9s main
main
9s