Skip to content

Actions: hyperpolymath/stapeln

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
295 workflow runs
295 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
test(idris2): port 5 Deno + 1 JS test files to Idris2 (estate port 8/… CodeQL Security Analysis #295: Commit 911a8f9 pushed by hyperpolymath
13h 21m 49s main
main
13h 21m 49s
test(idris2): port 5 Deno + 1 JS test files to Idris2 (estate port 8/11) CodeQL Security Analysis #294: Pull request #61 opened by hyperpolymath
13h 5m 41s feat/port-ts-tests-to-idris2
feat/port-ts-tests-to-idris2
13h 5m 41s
chore(deps): bump openssl (#59) CodeQL Security Analysis #293: Commit b2820b2 pushed by hyperpolymath
12h 57m 3s main
main
12h 57m 3s
ci(gitignore): ignore generated/* artefacts (Refs standards#93) (#60) CodeQL Security Analysis #292: Commit abafba3 pushed by hyperpolymath
1m 51s main
main
1m 51s
ci(gitignore): ignore generated/* artefacts (Refs standards#93) CodeQL Security Analysis #291: Pull request #60 opened by hyperpolymath
1m 14s ci/gitignore-generated-stanza
ci/gitignore-generated-stanza
1m 14s
chore(deps): bump openssl from 0.10.79 to 0.10.80 in /container-stack/selur/compose in the cargo group across 1 directory CodeQL Security Analysis #290: Pull request #59 opened by dependabot Bot
2h 29m 18s dependabot/cargo/container-stack/selur/compose/cargo-b5bfc02d2b
dependabot/cargo/container-stack/selur/compose/cargo-b5bfc02d2b
2h 29m 18s
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out… CodeQL Security Analysis #289: Commit 9cad95e pushed by hyperpolymath
1h 31m 18s main
main
1h 31m 18s
licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only) CodeQL Security Analysis #288: Pull request #58 opened by hyperpolymath
1h 26m 26s licence-debt/07-pmpl-suffix
licence-debt/07-pmpl-suffix
1h 26m 26s
ci(spark): adopt estate SPARK Theatre Gate (standards#135) (#57) CodeQL Security Analysis #287: Commit dc2ce11 pushed by hyperpolymath
10m 7s main
main
10m 7s
ci(spark): adopt estate SPARK Theatre Gate (#135) CodeQL Security Analysis #286: Pull request #57 opened by hyperpolymath
3m 4s ci/adopt-spark-theatre-gate
ci/adopt-spark-theatre-gate
3m 4s
ci(proof): add GitHub formal-verification gate for cerro-torre (#56) CodeQL Security Analysis #285: Commit fd8d1ef pushed by hyperpolymath
4m 22s main
main
4m 22s
ci(proof): GitHub formal-verification gate for cerro-torre (mirror echidna) CodeQL Security Analysis #284: Pull request #56 opened by hyperpolymath
1h 31m 35s ci/github-formal-verification
ci/github-formal-verification
1h 31m 35s
fix(licence): clear scaffold-placeholder leak (Tranche 3) (#55) CodeQL Security Analysis #283: Commit 491fb25 pushed by hyperpolymath
6h 0m 27s main
main
6h 0m 27s
fix(licence): #3 clean — clear scaffold-placeholder leak (stapeln) CodeQL Security Analysis #282: Pull request #55 opened by hyperpolymath
12h 11m 32s licence-debt/03-final-placeholder
licence-debt/03-final-placeholder
12h 11m 32s
fix(cerro-torre): String-bridge — discharge 3 ImporterProofs postulat… CodeQL Security Analysis #281: Commit bae00cc pushed by hyperpolymath
10h 52m 8s main
main
10h 52m 8s
fix(cerro-torre): prove chainCommutative — resolve 2026-04-19 regress… CodeQL Security Analysis #280: Commit 3529915 pushed by hyperpolymath
10h 44m 27s main
main
10h 44m 27s
fix(affine): migrate record literals to #{ } (affinescript#218) (#54) CodeQL Security Analysis #279: Commit 6ae1514 pushed by hyperpolymath
10h 45m 22s main
main
10h 45m 22s
fix(affine): migrate record literals to #{ } (affinescript#218) CodeQL Security Analysis #278: Pull request #54 opened by hyperpolymath
12h 26m 51s fix/rust-record-syntax
fix/rust-record-syntax
12h 26m 51s
fix(cerro-torre): String-bridge — discharge 3 ImporterProofs postulates CodeQL Security Analysis #277: Pull request #53 opened by hyperpolymath
12h 27m 25s fix/string-bridge-129
fix/string-bridge-129
12h 27m 25s
fix(cerro-torre): prove chainCommutative (resolve 2026-04-19 regression) CodeQL Security Analysis #276: Pull request #52 opened by hyperpolymath
12h 35m 2s fix/chaincommutative-proven-129
fix/chaincommutative-proven-129
12h 35m 2s
CodeQL Security Analysis CodeQL Security Analysis #275: Scheduled
12h 49m 35s main
main
12h 49m 35s
fix(ci): sync hypatia-scan.yml to canonical (kill cd-scanner build dr… CodeQL Security Analysis #274: Commit 9610af0 pushed by hyperpolymath
18h 23m 13s main
main
18h 23m 13s
fix(ci): sync hypatia-scan.yml to canonical CodeQL Security Analysis #273: Pull request #51 opened by hyperpolymath
18h 26m 57s fix/hypatia-scan-canonical
fix/hypatia-scan-canonical
18h 26m 57s
chore(ci): replace per-repo governance copies with shared bundle wrapper CodeQL Security Analysis #272: Commit d7f147d pushed by hyperpolymath
14h 6m 33s main
main
14h 6m 33s
ci: re-adopt hyperpolymath/a2ml-validate-action (Closes #44) (#50) CodeQL Security Analysis #271: Commit df562ff pushed by hyperpolymath
4m 9s main
main
4m 9s