Skip to content

Actions: hyperpolymath/SMTLib.jl

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
165 workflow runs
165 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
ci: migrate CodeQL Action v3 → v4 CodeQL Security Analysis #15: Commit 464f452 pushed by hyperpolymath
8h 56m 59s main
main
8h 56m 59s
ci: update SHA pins for codeql-action and trufflehog CodeQL Security Analysis #14: Commit a451455 pushed by hyperpolymath
8h 41m 14s main
main
8h 41m 14s
ci: deploy missing standard workflows (10 added) CodeQL Security Analysis #13: Commit d8e05d3 pushed by hyperpolymath
7h 54m 36s main
main
7h 54m 36s
fix: correct email jonathan.jewell → j.d.a.jewell CodeQL Security Analysis #12: Commit 9d1b1e3 pushed by hyperpolymath
6h 10m 48s main
main
6h 10m 48s
fix: global AGPL-3.0-or-later → PMPL-1.0-or-later replacement CodeQL Security Analysis #11: Commit dd43807 pushed by hyperpolymath
4h 54m 5s main
main
4h 54m 5s
fix: SPDX headers (AGPL→PMPL), email, author name CodeQL Security Analysis #10: Commit e43e034 pushed by hyperpolymath
3h 26m 51s main
main
3h 26m 51s
Replace RSR template placeholders with actual values CodeQL Security Analysis #9: Commit a03ce15 pushed by hyperpolymath
33m 34s main
main
33m 34s
refactor: migrate 6SCM → 6A2 (.scm → .a2ml format) CodeQL Security Analysis #8: Commit 6365291 pushed by hyperpolymath
36m 5s main
main
36m 5s
chore: RSR compliance — delete AI.djot, rename AI manifest, remove st… CodeQL Security Analysis #7: Commit d6fbfa1 pushed by hyperpolymath
33m 40s main
main
33m 40s
chore: RSR compliance — fix SPDX to MPL-2.0 for Julia ecosystem, fix … CodeQL Security Analysis #6: Commit a9c5275 pushed by hyperpolymath
12s main
main
12s
feat: add mirror.yml workflow for GitLab/Bitbucket mirroring CodeQL Security Analysis #5: Commit b48d506 pushed by hyperpolymath
4m 40s main
main
4m 40s
Standardise license setup: MPL-2.0 + PMPL-1.0-or-later (REUSE) CodeQL Security Analysis #4: Commit bac10b9 pushed by hyperpolymath
22m 40s main
main
22m 40s
Clean up CI: remove boilerplate workflows, add Julia CI CodeQL Security Analysis #3: Commit a714968 pushed by hyperpolymath
1m 9s main
main
1m 9s
Replace LICENSE with standard MPL-2.0 text CodeQL Security Analysis #2: Commit 60611a9 pushed by hyperpolymath
1m 18s main
main
1m 18s
Initial release of SMTLib.jl CodeQL Security Analysis #1: Commit ef7ba57 pushed by hyperpolymath
1m 18s main
main
1m 18s