Skip to content

Actions: hyperpolymath/dafniser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
138 workflow runs
138 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
CodeQL Security Analysis CodeQL Security Analysis #138: Scheduled
40s main
main
40s
fix(clade): correct identity uuid (deterministic v5) (#45) CodeQL Security Analysis #137: Commit e0c9690 pushed by hyperpolymath
1m 2s main
main
1m 2s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #136: Pull request #45 opened by hyperpolymath
1m 11s fix/clade-uuid
fix/clade-uuid
1m 11s
ci: format parser.rs under stable 1.96 to make rust-ci green (follow-… CodeQL Security Analysis #135: Commit f5bc8f9 pushed by hyperpolymath
1m 14s main
main
1m 14s
ci: format parser.rs under stable 1.96 to make rust-ci green (follow-up) CodeQL Security Analysis #134: Pull request #44 synchronize by hyperpolymath
1m 6s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 6s
ci: format parser.rs under stable 1.96 to make rust-ci green (follow-up) CodeQL Security Analysis #133: Pull request #44 opened by hyperpolymath
49s claude/new-session-znxgm7
claude/new-session-znxgm7
49s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… CodeQL Security Analysis #132: Commit 1d207e2 pushed by hyperpolymath
49s main
main
49s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate CodeQL Security Analysis #131: Pull request #43 synchronize by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate CodeQL Security Analysis #130: Pull request #43 opened by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ABI Layer 5: end-to-end soundness capstone certificate (#42) CodeQL Security Analysis #129: Commit e01c139 pushed by hyperpolymath
47s main
main
47s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #128: Pull request #42 synchronize by hyperpolymath
44s claude/new-session-znxgm7
claude/new-session-znxgm7
44s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #127: Commit 87eae14 pushed by hyperpolymath
46s main
main
46s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #126: Pull request #41 synchronize by hyperpolymath
57s claude/new-session-znxgm7
claude/new-session-znxgm7
57s
ABI Layer 3: min correct-by-construction + max commutativity/idempote… CodeQL Security Analysis #125: Commit bdc16b1 pushed by hyperpolymath
2m 59s main
main
2m 59s
ABI Layer 3: min correct-by-construction + max commutativity/idempotence CodeQL Security Analysis #124: Pull request #40 synchronize by hyperpolymath
2m 34s claude/new-session-znxgm7
claude/new-session-znxgm7
2m 34s
ABI Layer 2: prove generated max is correct-by-construction (flagsh… CodeQL Security Analysis #123: Commit 05482ff pushed by hyperpolymath
45s main
main
45s
ABI Layer 2: prove generated max is correct-by-construction (flagship Idris2 proof) CodeQL Security Analysis #122: Pull request #39 opened by hyperpolymath
45s claude/new-session-znxgm7
claude/new-session-znxgm7
45s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#38) CodeQL Security Analysis #121: Commit 78da95e pushed by hyperpolymath
30m 18s main
main
30m 18s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #120: Pull request #38 opened by hyperpolymath
30m 15s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
30m 15s
P1: export missing ABI function + add ABI↔FFI gate (#37) CodeQL Security Analysis #119: Commit 010ba9a pushed by hyperpolymath
48s main
main
48s
P1: export missing ABI function + add ABI↔FFI gate CodeQL Security Analysis #118: Pull request #37 opened by hyperpolymath
43s claude/new-session-1fphit
claude/new-session-1fphit
43s
Auto-install pinned Zig toolchain in setup + devcontainer (#36) CodeQL Security Analysis #117: Commit ea169ef pushed by hyperpolymath
5m 34s main
main
5m 34s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #116: Pull request #36 opened by hyperpolymath
51s claude/new-session-1fphit
claude/new-session-1fphit
51s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #115: Commit cd7a53c pushed by hyperpolymath
1m 17s main
main
1m 17s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #114: Pull request #35 synchronize by hyperpolymath
45s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
45s