Skip to content

Actions: hyperpolymath/ponyiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
147 workflow runs
147 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
ABI Layer 5: end-to-end soundness capstone certificate (#38) CodeQL Security Analysis #122: Commit 66f3eb5 pushed by hyperpolymath
43s main
main
43s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #121: Pull request #38 synchronize by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #120: Commit 680950d pushed by hyperpolymath
39s main
main
39s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #119: Pull request #37 synchronize by hyperpolymath
43s claude/new-session-znxgm7
claude/new-session-znxgm7
43s
ABI Layer 3: immutable-aliasing soundness (read-compatibility reflexi… CodeQL Security Analysis #118: Commit bf22b35 pushed by hyperpolymath
40s main
main
40s
ABI Layer 3: immutable-aliasing soundness (read-compatibility reflexivity) CodeQL Security Analysis #117: Pull request #36 synchronize by hyperpolymath
38s claude/new-session-znxgm7
claude/new-session-znxgm7
38s
abi: prove aliasing-compatibility soundness (Ponyiser.ABI.Semantics) … CodeQL Security Analysis #116: Commit 3eabf5a pushed by hyperpolymath
54s main
main
54s
ABI Layer 2: prove reference-capability aliasing soundness — flagship Idris2 proof CodeQL Security Analysis #115: Pull request #35 opened by hyperpolymath
51s claude/new-session-znxgm7
claude/new-session-znxgm7
51s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#34) CodeQL Security Analysis #114: Commit cdc772c pushed by hyperpolymath
1h 50m 7s main
main
1h 50m 7s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #113: Pull request #34 opened by hyperpolymath
1h 51m 49s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 51m 49s
ci: add ABI↔FFI conformance gate (#33) CodeQL Security Analysis #112: Commit 886b81e pushed by hyperpolymath
1m 44s main
main
1m 44s
ci: add ABI↔FFI conformance gate CodeQL Security Analysis #111: Pull request #33 opened by hyperpolymath
1m 4s claude/new-session-1fphit
claude/new-session-1fphit
1m 4s
Auto-install pinned Zig toolchain in setup + devcontainer (#32) CodeQL Security Analysis #110: Commit 2571d1d pushed by hyperpolymath
7m 0s main
main
7m 0s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #109: Pull request #32 opened by hyperpolymath
2m 16s claude/new-session-1fphit
claude/new-session-1fphit
2m 16s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #108: Commit 03baf7c pushed by hyperpolymath
2m 1s main
main
2m 1s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #107: Pull request #31 opened by hyperpolymath
53s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
53s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#30) CodeQL Security Analysis #106: Commit 38d8f2e pushed by hyperpolymath
1m 7s main
main
1m 7s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #105: Pull request #30 opened by hyperpolymath
44s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
44s
Claude/iseriser proofs review rtdcwb (#29) CodeQL Security Analysis #104: Commit 894fd82 pushed by hyperpolymath
48s main
main
48s
Claude/iseriser proofs review rtdcwb CodeQL Security Analysis #103: Pull request #29 opened by hyperpolymath
1m 5s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 5s
chore(ci): add dormant push-email notification workflow (#28) CodeQL Security Analysis #102: Commit 81a0eec pushed by hyperpolymath
19h 49m 24s main
main
19h 49m 24s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #101: Pull request #28 opened by hyperpolymath
19h 44m 47s chore/push-email-notify
chore/push-email-notify
19h 44m 47s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#26) CodeQL Security Analysis #100: Commit ac1dc4a pushed by hyperpolymath
1h 15m 21s main
main
1h 15m 21s
chore(clade): backfill [status] lifecycle block (default active) (#27) CodeQL Security Analysis #99: Commit 041f03d pushed by hyperpolymath
20m 21s main
main
20m 21s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #98: Pull request #27 opened by hyperpolymath
15h 54m 55s chore/clade-status-backfill
chore/clade-status-backfill
15h 54m 55s