Skip to content

Actions: hyperpolymath/SMTLib.jl

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
109 workflow runs
109 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
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
CodeQL Security Analysis CodeQL Security Analysis #88: Scheduled
53s main
main
53s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… CodeQL Security Analysis #87: Commit 57a9af6 pushed by hyperpolymath
58s main
main
58s
CodeQL Security Analysis CodeQL Security Analysis #86: Scheduled
48s main
main
48s
security: standardize secret scanning on TruffleHog CodeQL Security Analysis #85: Commit 4f83004 pushed by hyperpolymath
3m 47s main
main
3m 47s