Skip to content

Actions: hyperpolymath/SMTLib.jl

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
137 workflow runs
137 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
feat(labels): estate label tooling + auto-triage for new issues CodeQL Security Analysis #137: Pull request #33 synchronize by hyperpolymath
30m 41s automated/label-tooling
automated/label-tooling
30m 41s
feat(labels): estate label tooling + auto-triage for new issues CodeQL Security Analysis #136: Pull request #33 opened by hyperpolymath
1h 21m 49s automated/label-tooling
automated/label-tooling
1h 21m 49s
refactor: migrate Markdown to AsciiDoc (#32) CodeQL Security Analysis #135: Commit 92171a8 pushed by hyperpolymath
12m 39s main
main
12m 39s
refactor: migrate Markdown to AsciiDoc CodeQL Security Analysis #134: Pull request #32 opened by hyperpolymath
12m 42s refactor/md-to-adoc
refactor/md-to-adoc
12m 42s
CodeQL Security Analysis CodeQL Security Analysis #133: Scheduled
1m 24s main
main
1m 24s
chore(nix->guix): delete Nix estate-wide (#138) (#31) CodeQL Security Analysis #132: Commit e49e79d pushed by hyperpolymath
2h 15m 55s main
main
2h 15m 55s
chore(nix->guix): delete Nix estate-wide (#138) CodeQL Security Analysis #131: Pull request #31 synchronize by hyperpolymath
2h 16m 49s chore/nix-sweep-138
chore/nix-sweep-138
2h 16m 49s
chore(nix->guix): delete Nix estate-wide (#138) CodeQL Security Analysis #130: Pull request #31 opened by hyperpolymath
6m 12s chore/nix-sweep-138
chore/nix-sweep-138
6m 12s
chore(guix): quality pass - fix stub/invalid names (#139) (#30) CodeQL Security Analysis #129: Commit 5e92dc4 pushed by hyperpolymath
24m 57s main
main
24m 57s
chore(guix): quality pass - fix stub/invalid names (#139) CodeQL Security Analysis #128: Pull request #30 opened by hyperpolymath
26m 45s chore/guix-sweep-139
chore/guix-sweep-139
26m 45s
chore: sync all branches and estate-wide config updates (#29) CodeQL Security Analysis #127: Commit 19a5cbc pushed by hyperpolymath
10m 24s main
main
10m 24s
chore: sync all branches and estate-wide config updates CodeQL Security Analysis #126: Pull request #29 opened by hyperpolymath
1m 55s pr/sync-20260817
pr/sync-20260817
1m 55s
CodeQL Security Analysis CodeQL Security Analysis #125: Scheduled
1m 24s main
main
1m 24s
CodeQL Security Analysis CodeQL Security Analysis #124: Scheduled
47s main
main
47s
ci: align Julia setup and cache action pins (#27) CodeQL Security Analysis #123: Commit 164ed40 pushed by hyperpolymath
56s main
main
56s
ci: align Julia setup and cache action pins CodeQL Security Analysis #122: Pull request #27 synchronize by hyperpolymath
1m 4s chore/julia-action-pins-20260809
chore/julia-action-pins-20260809
1m 4s
ci: align Julia setup and cache action pins CodeQL Security Analysis #121: Pull request #27 opened by hyperpolymath
2m 40s chore/julia-action-pins-20260809
chore/julia-action-pins-20260809
2m 40s
chore(ci): make Scorecard periodic, not per-push (#26) CodeQL Security Analysis #120: Commit 47899f3 pushed by hyperpolymath
1h 42m 31s main
main
1h 42m 31s
chore(ci): make Scorecard periodic, not per-push CodeQL Security Analysis #119: Pull request #26 opened by hyperpolymath
1h 9m 12s chore/scorecard-periodic
chore/scorecard-periodic
1h 9m 12s
chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest CodeQL Security Analysis #118: Pull request #25 synchronize by hyperpolymath
45m 53s chore/estate-topup
chore/estate-topup
45m 53s
chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest CodeQL Security Analysis #117: Pull request #25 synchronize by hyperpolymath
13m 45s chore/estate-topup
chore/estate-topup
13m 45s
chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest CodeQL Security Analysis #116: Pull request #25 opened by hyperpolymath
27m 49s chore/estate-topup
chore/estate-topup
27m 49s
fix(security): upgrade secret scanning from retired trufflehog to git… CodeQL Security Analysis #115: Commit 7518e0b pushed by hyperpolymath
15m 41s main
main
15m 41s
fix(security): upgrade secret scanning from retired trufflehog to gitleaks CodeQL Security Analysis #114: Pull request #24 opened by hyperpolymath
9m 1s fix/gitleaks-secret-scanning
fix/gitleaks-secret-scanning
9m 1s
CodeQL Security Analysis CodeQL Security Analysis #113: Scheduled
50s main
main
50s