Skip to content

Actions: hyperpolymath/absolute-zero

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
124 workflow runs
124 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
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vscode*, deno-*) CodeQL Security Analysis #24: Pull request #7 opened by hyperpolymath
54m 54s ci/antipattern-allowlist-v2
ci/antipattern-allowlist-v2
54m 54s
ci(antipattern): allowlist legit TS bridge/adapter paths (#6) CodeQL Security Analysis #23: Commit 8fefeff pushed by hyperpolymath
1m 27s main
main
1m 27s
ci(antipattern): allowlist legit TS bridge/adapter paths CodeQL Security Analysis #22: Pull request #6 opened by hyperpolymath
3m 20s ci/antipattern-allowlist-bridges
ci/antipattern-allowlist-bridges
3m 20s
chore(deps): bump github/codeql-action in the actions group (#5) CodeQL Security Analysis #21: Commit 7ebe33f pushed by hyperpolymath
1m 21s main
main
1m 21s
chore(deps): bump github/codeql-action from 4.35.2 to 4.35.3 in the actions group CodeQL Security Analysis #20: Pull request #5 opened by dependabot Bot
58s dependabot/github_actions/actions-937d73b4db
dependabot/github_actions/actions-937d73b4db
58s
fix(CNO,lib): typecheck CNO.agda under --safe + add agda-lib CodeQL Security Analysis #19: Commit 0f8b01d pushed by hyperpolymath
1m 17s main
main
1m 17s
feat(absolute-zero): complete loadStore_preserves_memory proof — no s… CodeQL Security Analysis #18: Commit abd5a3a pushed by hyperpolymath
1m 12s main
main
1m 12s
CodeQL Security Analysis CodeQL Security Analysis #17: Scheduled
1m 36s main
main
1m 36s
chore(deps): bump trufflesecurity/trufflehog in the actions group (#4) CodeQL Security Analysis #16: Commit e65752a pushed by hyperpolymath
2m 50s main
main
2m 50s
chore(deps): bump trufflesecurity/trufflehog from 3.94.3 to 3.95.2 in the actions group CodeQL Security Analysis #15: Pull request #4 opened by dependabot Bot
1m 7s dependabot/github_actions/actions-d8ef2e9271
dependabot/github_actions/actions-d8ef2e9271
1m 7s
feat(ai-manifest): add ECHIDNA call-protocol snippet (Package 8) CodeQL Security Analysis #14: Commit 842bd35 pushed by hyperpolymath
3m 38s main
main
3m 38s
CodeQL Security Analysis CodeQL Security Analysis #13: Scheduled
1m 34s main
main
1m 34s
chore(contractiles): add bust/ + relocate k9 to svc/ CodeQL Security Analysis #12: Commit 315feb3 pushed by hyperpolymath
5h 53m 0s main
main
5h 53m 0s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… CodeQL Security Analysis #11: Commit b151765 pushed by hyperpolymath
3h 14m 39s main
main
3h 14m 39s
Standardize workspace: Capitalize Justfile references in scripts and … CodeQL Security Analysis #10: Commit 3d52acd pushed by hyperpolymath
2h 48m 34s main
main
2h 48m 34s
Standardize workspace: Justfile migration and A2ML directive cleanup CodeQL Security Analysis #9: Commit e8be300 pushed by hyperpolymath
6m 4s main
main
6m 4s
Merge pull request #3 from hyperpolymath/fix/issue-2-abi-types CodeQL Security Analysis #8: Commit 4654410 pushed by hyperpolymath
1m 15s main
main
1m 15s
fix(abi): resolve Types.idr size proof accessibility + pointer typing CodeQL Security Analysis #7: Pull request #3 opened by hyperpolymath
1m 1s fix/issue-2-abi-types
fix/issue-2-abi-types
1m 1s
chore(deps): bump the actions group with 15 updates (#1) CodeQL Security Analysis #6: Commit b0b15bf pushed by hyperpolymath
1m 18s main
main
1m 18s
chore(deps): bump the actions group across 1 directory with 15 updates CodeQL Security Analysis #5: Pull request #1 synchronize by dependabot Bot
1m 5s dependabot/github_actions/actions-5422b9698b
dependabot/github_actions/actions-5422b9698b
1m 5s
proof(lean4/LambdaCNO): close church_zero (1 of 6); document 5 spec-b… CodeQL Security Analysis #4: Commit be301df pushed by hyperpolymath
1m 24s main
main
1m 24s
proof(absolute-zero): close FilesystemCNO.lean sorry (idempotent != CNO) CodeQL Security Analysis #3: Commit 6cd1c72 pushed by hyperpolymath
1m 15s main
main
1m 15s
chore(deps): bump the actions group across 1 directory with 15 updates CodeQL Security Analysis #2: Pull request #1 opened by dependabot Bot
1m 4s dependabot/github_actions/actions-5422b9698b
dependabot/github_actions/actions-5422b9698b
1m 4s
proofs: eliminate believe_me in src/abi/Layout.idr (6 → 0) CodeQL Security Analysis #1: Commit 02c2c85 pushed by hyperpolymath
1m 20s main
main
1m 20s