Skip to content

Actions: hyperpolymath/ideas-to-alphas

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
234 workflow runs
234 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(ci): gate every Idris2 module — the proof checks could not fail (and #51's fix never landed) CodeQL Security Analysis #134: Pull request #52 opened by hyperpolymath
46s fix/l11-modal-compiles-and-gate
fix/l11-modal-compiles-and-gate
46s
docs(L11): decide graded necessity, spec QTT grade propagation, add C… CodeQL Security Analysis #133: Commit 1b3bcec pushed by hyperpolymath
8m 24s main
main
8m 24s
L11: decide graded necessity, spec QTT grade propagation — and fix Modal.idr, which had never compiled CodeQL Security Analysis #132: Pull request #51 opened by hyperpolymath
9m 23s feat/l11-qtt-integration
feat/l11-qtt-integration
9m 23s
feat(silo): incubate the secret-silo design (ALARP handle/vault) (#50) CodeQL Security Analysis #131: Commit 1d4ee4a pushed by hyperpolymath
51s main
main
51s
feat(silo): incubate the secret-silo design (ALARP handle/vault) CodeQL Security Analysis #130: Pull request #50 opened by hyperpolymath
1m 8s feat/silo
feat/silo
1m 8s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#49) CodeQL Security Analysis #129: Commit c843479 pushed by hyperpolymath
3m 24s main
main
3m 24s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage CodeQL Security Analysis #128: Pull request #49 opened by hyperpolymath
6m 57s ci/repin-rust-ci-reusable-412a7031
ci/repin-rust-ci-reusable-412a7031
6m 57s
CodeQL Security Analysis CodeQL Security Analysis #127: Scheduled
49s main
main
49s
fix(clade): correct identity uuid (deterministic v5) (#48) CodeQL Security Analysis #126: Commit 5edfee8 pushed by hyperpolymath
4m 17s main
main
4m 17s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #125: Pull request #48 opened by hyperpolymath
2m 52s fix/clade-uuid
fix/clade-uuid
2m 52s
fix(ci): run idris2 --check from the proof's own directory (Idris2 Pr… CodeQL Security Analysis #124: Commit ace1713 pushed by hyperpolymath
36s main
main
36s
fix(ci): run idris2 --check from the proof's own directory (Idris2 Proof gate is red on main) CodeQL Security Analysis #123: Pull request #47 opened by hyperpolymath
50s claude/fix-idris2-proof-workdir
claude/fix-idris2-proof-workdir
50s
ci(a-sounder-constitution): gate the Idris2 proof with `idris2 --chec… CodeQL Security Analysis #122: Commit 73207e3 pushed by hyperpolymath
45s main
main
45s
ci(a-sounder-constitution): gate the Idris2 proof with idris2 --check CodeQL Security Analysis #121: Pull request #46 opened by hyperpolymath
46s claude/ci-idris2-proof-check
claude/ci-idris2-proof-check
46s
fix(a-sounder-constitution): make the Idris2 proof compile + machine-… CodeQL Security Analysis #120: Commit 45f81ea pushed by hyperpolymath
46s main
main
46s
fix(a-sounder-constitution): make the Idris2 proof compile + machine-check it (Idris2 0.7.0) CodeQL Security Analysis #119: Pull request #45 synchronize by hyperpolymath
1m 10s claude/idris2-proof-verified
claude/idris2-proof-verified
1m 10s
fix(a-sounder-constitution): make the Idris2 proof compile + machine-check it (Idris2 0.7.0) CodeQL Security Analysis #118: Pull request #45 opened by hyperpolymath
45s claude/idris2-proof-verified
claude/idris2-proof-verified
45s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#44) CodeQL Security Analysis #117: Commit aafa462 pushed by hyperpolymath
1h 6m 21s main
main
1h 6m 21s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #116: Pull request #44 opened by hyperpolymath
1h 8m 43s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 8m 43s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… CodeQL Security Analysis #115: Commit 093e6d2 pushed by hyperpolymath
49m 41s main
main
49m 41s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #114: Pull request #43 opened by hyperpolymath
50m 13s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
50m 13s
chore(clade): backfill [status] lifecycle block (#41) CodeQL Security Analysis #113: Commit 048f9f9 pushed by hyperpolymath
18h 20m 1s main
main
18h 20m 1s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #112: Pull request #41 synchronize by hyperpolymath
18h 20m 39s chore/clade-status-backfill
chore/clade-status-backfill
18h 20m 39s
chore(ci): add dormant push-email notification workflow (#42) CodeQL Security Analysis #111: Commit 8aebe62 pushed by hyperpolymath
4m 6s main
main
4m 6s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #110: Pull request #42 opened by hyperpolymath
12h 42m 10s chore/push-email-notify
chore/push-email-notify
12h 42m 10s