Skip to content

Actions: hyperpolymath/Axiom.jl

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Auto-commit: Sync changes [2026-02-10] CodeQL Security Analysis #124: Commit ffbba80 pushed by hyperpolymath
4m 17s main
main
4m 17s
CodeQL Security Analysis CodeQL Security Analysis #123: Scheduled
4m 1s main
main
4m 1s
fix: prevent GitHub linguist Makefile misdetection for justfiles CodeQL Security Analysis #122: Commit b021071 pushed by hyperpolymath
5m 25s main
main
5m 25s
chore: add justfile, Mustfile, and linguist overrides CodeQL Security Analysis #121: Commit 7159a28 pushed by hyperpolymath
5m 21s main
main
5m 21s
fix: remove duplicate SCM files from root CodeQL Security Analysis #120: Commit 3c6ee2b pushed by hyperpolymath
1h 40m 27s main
main
1h 40m 27s
docs: update SCM files with project information CodeQL Security Analysis #119: Commit 33a6335 pushed by hyperpolymath
5m 27s main
main
5m 27s
chore(deps): bump bytes from 1.11.0 to 1.11.1 in /rust in the cargo group across 1 directory CodeQL Security Analysis #118: Pull request #26 opened by dependabot bot
12m 6s dependabot/cargo/rust/cargo-f6ecf5c85a
dependabot/cargo/rust/cargo-f6ecf5c85a
12m 6s
Update README.adoc CodeQL Security Analysis #117: Commit c923d68 pushed by hyperpolymath
4m 0s main
main
4m 0s
CodeQL Security Analysis CodeQL Security Analysis #116: Scheduled
4m 31s main
main
4m 31s
chore: sync CodeQL Security Analysis #115: Commit c8e3e7a pushed by hyperpolymath
26m 55s main
main
26m 55s
fix: relax dependency version constraints for SHA compatibility CodeQL Security Analysis #114: Commit a015a8f pushed by hyperpolymath
3m 29s main
main
3m 29s
chore: bump version to 1.0.0 for Julia General Registry CodeQL Security Analysis #113: Commit e33935c pushed by hyperpolymath
3m 47s main
main
3m 47s
feat(ci): enable Hypatia scanning CodeQL Security Analysis #112: Commit 25e8fb4 pushed by hyperpolymath
10m 48s main
main
10m 48s
Fix compilation and test errors for v1.0.0 release CodeQL Security Analysis #111: Commit a44e7ac pushed by hyperpolymath
3m 49s main
main
3m 49s
CodeQL Security Analysis CodeQL Security Analysis #110: Scheduled
3m 57s main
main
3m 57s
Fix Rust author attribution to Jonathan D.A. Jewell CodeQL Security Analysis #109: Commit 296b648 pushed by hyperpolymath
4m 8s main
main
4m 8s
Fix author attribution to Jonathan D.A. Jewell CodeQL Security Analysis #108: Commit f308117 pushed by hyperpolymath
3m 38s main
main
3m 38s
Add formal proof assistant integration (Lean/Coq/Isabelle) CodeQL Security Analysis #107: Commit 98721b7 pushed by hyperpolymath
3m 47s main
main
3m 47s
Add model metadata schema and verified model zoo templates CodeQL Security Analysis #106: Commit 50ff30e pushed by hyperpolymath
3m 48s main
main
3m 48s
Add comprehensive release engineering pipeline CodeQL Security Analysis #105: Commit cb446bc pushed by hyperpolymath
4m 2s main
main
4m 2s
Add comprehensive benchmark suite and regression tracking CodeQL Security Analysis #104: Commit 8937b7d pushed by hyperpolymath
4m 3s main
main
4m 3s
Add GPU backend abstraction hooks (CUDA/ROCm/Metal) CodeQL Security Analysis #103: Commit 93630eb pushed by hyperpolymath
3m 30s main
main
3m 30s
CI/CD cleanup: Remove bloat, fix SHA pinning, replace Jekyll with cas… CodeQL Security Analysis #102: Commit 2fad94e pushed by hyperpolymath
3m 26s main
main
3m 26s
Integrate containerized SMT solver execution (svalinn/vordr) CodeQL Security Analysis #101: Commit 0fa0c44 pushed by hyperpolymath
3m 23s main
main
3m 23s
Fix #14: HuggingFace import integration with security verification CodeQL Security Analysis #100: Commit 62013e8 pushed by hyperpolymath
3m 24s main
main
3m 24s