Skip to content

Actions: hyperpolymath/absolute-zero

Actions

Code Quality

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