Skip to content

Actions: hyperpolymath/ProvenCrypto.jl

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
76 workflow runs
76 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
chore(ci): replace scorecard.yml with reusable wrapper (#10) CodeQL #76: Commit 5f8ba08 pushed by hyperpolymath
4h 35m 36s main
main
4h 35m 36s
chore(ci): replace secret-scanner.yml with reusable wrapper (#9) CodeQL #75: Commit ee393eb pushed by hyperpolymath
1h 38m 59s main
main
1h 38m 59s
chore(ci): replace mirror.yml with reusable wrapper (#8) CodeQL #74: Commit b3c4dd9 pushed by hyperpolymath
2h 42m 14s main
main
2h 42m 14s
chore(ci): replace scorecard.yml with reusable wrapper CodeQL #73: Pull request #10 opened by hyperpolymath
8h 30m 48s chore/scorecard-reusable-wrapper
chore/scorecard-reusable-wrapper
8h 30m 48s
chore(ci): replace secret-scanner.yml with reusable wrapper CodeQL #72: Pull request #9 opened by hyperpolymath
8h 25m 29s chore/secret-scanner-reusable-wrapper
chore/secret-scanner-reusable-wrapper
8h 25m 29s
chore(ci): replace mirror.yml with reusable wrapper CodeQL #71: Pull request #8 opened by hyperpolymath
5h 52m 46s chore/mirror-reusable-wrapper
chore/mirror-reusable-wrapper
5h 52m 46s
CodeQL CodeQL #70: Scheduled
52s main
main
52s
chore: migrate license from PMPL-1.0-or-later to MPL-2.0 CodeQL #69: Commit f0abe57 pushed by hyperpolymath
37m 17s main
main
37m 17s
fix(licence): clear scaffold-placeholder leak (Tranche 1) (#7) CodeQL #68: Commit 85d7255 pushed by hyperpolymath
5h 47m 24s main
main
5h 47m 24s
fix(licence): #3 Tranche 1 — clear scaffold-placeholder leak (ProvenCrypto.jl) CodeQL #67: Pull request #7 opened by hyperpolymath
12h 7m 45s licence-debt/03-t1-placeholder
licence-debt/03-t1-placeholder
12h 7m 45s
harden(ci): concurrency-cancel guard on canonical check workflows (#6) CodeQL #66: Commit 6b90c31 pushed by hyperpolymath
10h 4m 45s main
main
10h 4m 45s
harden(ci): concurrency-cancel guard on canonical check workflows CodeQL #65: Pull request #6 opened by hyperpolymath
9h 56m 13s harden/ci-concurrency-estate-2026-05-18
harden/ci-concurrency-estate-2026-05-18
9h 56m 13s
CodeQL CodeQL #64: Scheduled
5h 40m 8s main
main
5h 40m 8s
fix(ci): sync hypatia-scan.yml to canonical (413: env.HOME+Phase-2+SA… CodeQL #63: Commit 6f5d7e2 pushed by hyperpolymath
23h 59m 35s main
main
23h 59m 35s
fix(ci): sync hypatia-scan.yml to canonical CodeQL #62: Pull request #5 opened by hyperpolymath
23h 57m 49s fix/hypatia-scan-canonical
fix/hypatia-scan-canonical
23h 57m 49s
chore(ci): replace per-repo governance copies with shared bundle wrapper CodeQL #61: Commit 785bb5c pushed by hyperpolymath
8h 36m 27s main
main
8h 36m 27s
fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + … CodeQL #60: Commit 6de654d pushed by hyperpolymath
55m 47s main
main
55m 47s
fix(ci): adopt canonical hypatia-scan.yml CodeQL #59: Pull request #4 opened by hyperpolymath
1h 1m 38s fix/hypatia-scan-canonical
fix/hypatia-scan-canonical
1h 1m 38s
CodeQL CodeQL #58: Scheduled
51s main
main
51s
CodeQL CodeQL #57: Scheduled
52s main
main
52s
docs(readme): add SPDX header and/or standard badges CodeQL #56: Commit 35d4545 pushed by hyperpolymath
1h 25m 53s main
main
1h 25m 53s
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) CodeQL #55: Commit 181bc38 pushed by hyperpolymath
34m 39s main
main
34m 39s
CodeQL CodeQL #54: Scheduled
50s main
main
50s
CodeQL CodeQL #53: Scheduled
44s main
main
44s
chore(contractiles): add bust/ + relocate k9 to svc/ CodeQL #52: Commit c5e334d pushed by hyperpolymath
5h 49m 39s main
main
5h 49m 39s