Skip to content

Actions: hyperpolymath/stapeln

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
438 workflow runs
438 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
docs: seed CHANGELOG.md (Keep-a-Changelog format) (#73) CodeQL Security Analysis #313: Commit de829d9 pushed by hyperpolymath
1h 7m 33s main
main
1h 7m 33s
chore(ci): replace scorecard.yml with reusable wrapper (#72) CodeQL Security Analysis #312: Commit 0d1b3f7 pushed by hyperpolymath
1h 4m 46s main
main
1h 4m 46s
docs: seed docs/proof-debt.md index per trusted-base policy (#71) CodeQL Security Analysis #311: Commit fee5f06 pushed by hyperpolymath
1h 9m 14s main
main
1h 9m 14s
chore(ci): replace mirror.yml with reusable wrapper (#69) CodeQL Security Analysis #310: Commit 42df211 pushed by hyperpolymath
2h 15m 54s main
main
2h 15m 54s
chore(linguist): exclude ReScript from language detection (#68) CodeQL Security Analysis #309: Commit a30dfc8 pushed by hyperpolymath
2h 41m 48s main
main
2h 41m 48s
chore(license): migrate PMPL-1.0-or-later → MPL-2.0 (solo) (#67) CodeQL Security Analysis #308: Commit 136dd39 pushed by hyperpolymath
2h 43m 50s main
main
2h 43m 50s
ci(hypatia-scan): repin reusable to merge-commit SHA (orphan-SHA fix) CodeQL Security Analysis #307: Pull request #74 opened by hyperpolymath
6h 8m 39s ci/hypatia-scan-pin-fix
ci/hypatia-scan-pin-fix
6h 8m 39s
docs: seed CHANGELOG.md (Keep-a-Changelog format) CodeQL Security Analysis #306: Pull request #73 opened by hyperpolymath
10h 17m 46s claude/changelog-seed-2026-05-26
claude/changelog-seed-2026-05-26
10h 17m 46s
chore(ci): replace scorecard.yml with reusable wrapper CodeQL Security Analysis #305: Pull request #72 opened by hyperpolymath
8h 31m 35s chore/scorecard-reusable-wrapper
chore/scorecard-reusable-wrapper
8h 31m 35s
docs: seed docs/proof-debt.md index per trusted-base policy CodeQL Security Analysis #304: Pull request #71 opened by hyperpolymath
8h 23m 27s claude/seed-proof-debt-2026-05-26
claude/seed-proof-debt-2026-05-26
8h 23m 27s
chore(ci): replace secret-scanner.yml with reusable wrapper CodeQL Security Analysis #303: Pull request #70 opened by hyperpolymath
8h 8m 14s chore/secret-scanner-reusable-wrapper
chore/secret-scanner-reusable-wrapper
8h 8m 14s
chore(ci): replace mirror.yml with reusable wrapper CodeQL Security Analysis #302: Pull request #69 opened by hyperpolymath
4h 53m 53s chore/mirror-reusable-wrapper
chore/mirror-reusable-wrapper
4h 53m 53s
chore(linguist): exclude ReScript from language detection CodeQL Security Analysis #301: Pull request #68 opened by hyperpolymath
5h 7m 48s chore/linguist-exclude-res
chore/linguist-exclude-res
5h 7m 48s
chore(license): migrate to MPL-2.0 CodeQL Security Analysis #300: Pull request #67 opened by hyperpolymath
4h 43m 34s license/migrate-to-mpl-2.0
license/migrate-to-mpl-2.0
4h 43m 34s
chore(ci): convert hypatia-scan.yml to wrapper of standards reusable … CodeQL Security Analysis #299: Commit fa6910d pushed by hyperpolymath
2h 27m 17s main
main
2h 27m 17s
chore(ci): convert hypatia-scan.yml to wrapper of standards reusable CodeQL Security Analysis #298: Pull request #64 synchronize by hyperpolymath
33m 25s chore/hypatia-scan-reusable-wrapper
chore/hypatia-scan-reusable-wrapper
33m 25s
audit: classify 10 FFI/systems unsafe findings as legitimate (PA001/PA007) CodeQL Security Analysis #297: Pull request #62 opened by hyperpolymath
1m 10s panic-fix/PA001-PA007-ffi-legitimate
panic-fix/PA001-PA007-ffi-legitimate
1m 10s
CodeQL Security Analysis CodeQL Security Analysis #296: Scheduled
1m 24s main
main
1m 24s
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