Skip to content

Actions: hyperpolymath/chapeliser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
167 workflow runs
167 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 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #142: Pull request #43 synchronize by hyperpolymath
1m 1s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 1s
ABI Layer 3: div/mod completeness of the block partition — closes the… CodeQL Security Analysis #141: Commit 63690d5 pushed by hyperpolymath
50s main
main
50s
ABI Layer 3: div/mod completeness of the block partition — closes the Layer-2 residual CodeQL Security Analysis #140: Pull request #42 opened by hyperpolymath
42s claude/new-session-znxgm7
claude/new-session-znxgm7
42s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#41) CodeQL Security Analysis #139: Commit 338c268 pushed by hyperpolymath
23m 39s main
main
23m 39s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #138: Pull request #41 opened by hyperpolymath
21m 30s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
21m 30s
P3: prove partition correctness generally (all n, k), not hand-picked… CodeQL Security Analysis #137: Commit 1eae83d pushed by hyperpolymath
51s main
main
51s
P3: prove partition correctness generally (all n, k), not hand-picked vectors CodeQL Security Analysis #136: Pull request #40 synchronize by hyperpolymath
1m 11s claude/new-session-1fphit
claude/new-session-1fphit
1m 11s
P3: prove partition correctness generally (all n, k), not hand-picked vectors CodeQL Security Analysis #135: Pull request #40 opened by hyperpolymath
50s claude/new-session-1fphit
claude/new-session-1fphit
50s
P1: align Zig FFI symbol names to the Idris2 ABI (#39) CodeQL Security Analysis #134: Commit 095e38a pushed by hyperpolymath
45s main
main
45s
P1: align Zig FFI symbol names to the Idris2 ABI CodeQL Security Analysis #133: Pull request #39 opened by hyperpolymath
41s claude/new-session-1fphit
claude/new-session-1fphit
41s
Auto-install pinned Zig toolchain in setup + devcontainer (#38) CodeQL Security Analysis #132: Commit 417cccd pushed by hyperpolymath
7m 2s main
main
7m 2s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #131: Pull request #38 opened by hyperpolymath
47s claude/new-session-1fphit
claude/new-session-1fphit
47s
ABI: make Idris2 proofs genuinely compile + de-vacuify partition/roun… CodeQL Security Analysis #130: Commit 9a6a0f7 pushed by hyperpolymath
42s main
main
42s
ABI: make Idris2 proofs genuinely compile + de-vacuify partition/round-trip theorems CodeQL Security Analysis #129: Pull request #37 synchronize by hyperpolymath
45s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
45s
ABI: make Idris2 proofs genuinely compile + de-vacuify partition/round-trip theorems CodeQL Security Analysis #128: Pull request #37 opened by hyperpolymath
59s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
59s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#36) CodeQL Security Analysis #127: Commit 72c92e1 pushed by hyperpolymath
3m 22s main
main
3m 22s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #126: Pull request #36 opened by hyperpolymath
2m 42s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
2m 42s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… CodeQL Security Analysis #125: Commit 9830e82 pushed by hyperpolymath
34m 25s main
main
34m 25s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #124: Pull request #35 opened by hyperpolymath
37m 2s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
37m 2s
chore(clade): backfill [status] lifecycle block (#33) CodeQL Security Analysis #123: Commit 1f21037 pushed by hyperpolymath
17h 17m 47s main
main
17h 17m 47s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #122: Pull request #33 synchronize by hyperpolymath
17h 7m 23s chore/clade-status-backfill
chore/clade-status-backfill
17h 7m 23s
chore(ci): add dormant push-email notification workflow (#34) CodeQL Security Analysis #121: Commit b79b0b3 pushed by hyperpolymath
26m 47s main
main
26m 47s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #120: Pull request #34 opened by hyperpolymath
15h 12m 32s chore/push-email-notify
chore/push-email-notify
15h 12m 32s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #119: Pull request #33 opened by hyperpolymath
33m 20s chore/clade-status-backfill
chore/clade-status-backfill
33m 20s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … CodeQL Security Analysis #118: Commit b99da7c pushed by hyperpolymath
1h 14m 54s main
main
1h 14m 54s