Skip to content

Actions: hyperpolymath/SMTLib.jl

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
138 workflow runs
138 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
CodeQL Security Analysis CodeQL Security Analysis #113: Scheduled
50s main
main
50s
fix(ci): repair never-parsed workflow(s) — job-level hashFiles() if (… CodeQL Security Analysis #112: Commit 079de1a pushed by hyperpolymath
54s main
main
54s
fix(ci): repair never-parsed workflow(s) — job-level hashFiles() if CodeQL Security Analysis #111: Pull request #23 opened by hyperpolymath
1m 18s fix/never-parsed-workflows
fix/never-parsed-workflows
1m 18s
CodeQL Security Analysis CodeQL Security Analysis #110: Scheduled
42s main
main
42s
Sync local commits to main (#22) CodeQL Security Analysis #109: Commit 117dc90 pushed by hyperpolymath
1h 4m 58s main
main
1h 4m 58s
Sync local commits to main CodeQL Security Analysis #108: Pull request #22 opened by hyperpolymath
1h 5m 40s sync-local-updates-1784831563
sync-local-updates-1784831563
1h 5m 40s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… CodeQL Security Analysis #107: Commit 9d734d4 pushed by hyperpolymath
2h 46m 41s main
main
2h 46m 41s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump CodeQL Security Analysis #106: Pull request #21 opened by hyperpolymath
1h 30m 50s fix/governance-gate-sweep
fix/governance-gate-sweep
1h 30m 50s
CodeQL Security Analysis CodeQL Security Analysis #105: Scheduled
46s main
main
46s
CodeQL Security Analysis CodeQL Security Analysis #104: Scheduled
48s main
main
48s
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minut… CodeQL Security Analysis #103: Commit 7622a5c pushed by hyperpolymath
39m 30s main
main
39m 30s
fix(ci): clear OSSF Scorecard startup_failure CodeQL Security Analysis #102: Pull request #20 opened by hyperpolymath
9m 15s fix/scorecard-caller-startup
fix/scorecard-caller-startup
9m 15s
CodeQL Security Analysis CodeQL Security Analysis #101: Scheduled
58s main
main
58s
CodeQL Security Analysis CodeQL Security Analysis #100: Scheduled
39s main
main
39s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#19) CodeQL Security Analysis #99: Commit 16695bb pushed by hyperpolymath
2h 7m 45s main
main
2h 7m 45s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #98: Pull request #19 opened by hyperpolymath
2h 8m 17s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2h 8m 17s
feat(ci): attest build provenance (#18) CodeQL Security Analysis #97: Commit f21efb9 pushed by hyperpolymath
9h 24m 21s main
main
9h 24m 21s
feat(ci): attest build provenance CodeQL Security Analysis #96: Pull request #18 opened by hyperpolymath
9h 44m 6s feat/attest-build-provenance
feat/attest-build-provenance
9h 44m 6s
chore(clade): backfill [status] lifecycle block (default active) (#16) CodeQL Security Analysis #95: Commit eb352f5 pushed by hyperpolymath
14h 4m 16s main
main
14h 4m 16s
chore(ci): add dormant push-email notification workflow (#17) CodeQL Security Analysis #94: Commit 9781680 pushed by hyperpolymath
16m 44s main
main
16m 44s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #93: Pull request #17 opened by hyperpolymath
20h 8m 43s chore/push-email-notify
chore/push-email-notify
20h 8m 43s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #92: Pull request #16 opened by hyperpolymath
19h 22m 20s chore/clade-status-backfill
chore/clade-status-backfill
19h 22m 20s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#15) CodeQL Security Analysis #91: Commit 7b881d7 pushed by hyperpolymath
1h 11m 3s main
main
1h 11m 3s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #90: Pull request #15 opened by hyperpolymath
17h 38m 19s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
17h 38m 19s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #89: Commit a6f707c pushed by hyperpolymath
1h 19m 31s main
main
1h 19m 31s