Skip to content

Actions: hyperpolymath/hypatia

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,672 workflow runs
1,672 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
fix(registry): remove unused imports to eliminate Haskell warnings CodeQL Security Analysis #97: Commit 0c9d760 pushed by hyperpolymath
1m 9s main
main
1m 9s
chore: remove security-fixes submodules CodeQL Security Analysis #96: Commit c247672 pushed by hyperpolymath
57s main
main
57s
fix(docker): update Rust to 1.85 for Edition 2024 support CodeQL Security Analysis #95: Commit a19fae3 pushed by hyperpolymath
1m 11s main
main
1m 11s
fix(docker): update Rust from 1.75 to 1.83 to support Cargo.lock v4 CodeQL Security Analysis #94: Commit 83b9fb5 pushed by hyperpolymath
1m 4s main
main
1m 4s
fix(docker): remove non-existent loader-sample.lgt copy in engine Doc… CodeQL Security Analysis #93: Commit 9d5ebdd pushed by hyperpolymath
58s main
main
58s
fix(docker): update Logtalk to v3.97.1 and improve download reliability CodeQL Security Analysis #92: Commit ea4473c pushed by hyperpolymath
1m 0s main
main
1m 0s
fix(docker): correct Dockerfiles for actual workspace structure CodeQL Security Analysis #91: Commit ebfca8b pushed by hyperpolymath
1m 0s main
main
1m 0s
ci(release): temporarily disable ARM64 Linux build CodeQL Security Analysis #90: Commit c2873eb pushed by hyperpolymath
57s main
main
57s
fix(build): revert octocrab to default features CodeQL Security Analysis #89: Commit 639d11f pushed by hyperpolymath
1m 14s main
main
1m 14s
fix(build): add containers to exe deps, use rustls for octocrab CodeQL Security Analysis #88: Commit 3443f1d pushed by hyperpolymath
1m 21s main
main
1m 21s
fix(build): fix Haskell type errors and git2 cross-compilation CodeQL Security Analysis #87: Commit d950d82 pushed by hyperpolymath
1m 1s main
main
1m 1s
fix(build): cross-platform compatibility and Cabal license CodeQL Security Analysis #86: Commit 051e380 pushed by hyperpolymath
57s main
main
57s
fix(adapters): update internal dependency to hypatia-data CodeQL Security Analysis #85: Commit ad29853 pushed by hyperpolymath
1m 12s main
main
1m 12s
fix: correct secrets check syntax in release workflow CodeQL Security Analysis #84: Commit d443671 pushed by hyperpolymath
1m 3s main
main
1m 3s
Rename project to Hypatia CodeQL Security Analysis #83: Commit 2d7cfae pushed by hyperpolymath
1m 15s main
main
1m 15s
Restore submodule mappings CodeQL Security Analysis #82: Commit a806989 pushed by hyperpolymath
1m 2s main
main
1m 2s
feat: add Idris 2 type-safe verification modules and update handover … CodeQL Security Analysis #81: Commit 096b0b6 pushed by hyperpolymath
1m 9s main
main
1m 9s
chore: sync template files and configuration CodeQL Security Analysis #80: Commit 4db23aa pushed by hyperpolymath
8m 32s main
main
8m 32s
Add STATE.scm project tracking CodeQL Security Analysis #79: Commit 07b5fbc pushed by hyperpolymath
1m 13s main
main
1m 13s
chore(deps): bump trufflesecurity/trufflehog from 3.92.4 to 3.92.5 CodeQL Security Analysis #78: Pull request #16 opened by dependabot Bot
1m 6s dependabot/github_actions/trufflesecurity/trufflehog-3.92.5
dependabot/github_actions/trufflesecurity/trufflehog-3.92.5
1m 6s
chore(deps): bump github/codeql-action from 4.31.9 to 4.31.10 CodeQL Security Analysis #77: Pull request #15 opened by dependabot Bot
1m 0s dependabot/github_actions/github/codeql-action-4.31.10
dependabot/github_actions/github/codeql-action-4.31.10
1m 0s
CodeQL Security Analysis CodeQL Security Analysis #76: Scheduled
56s main
main
56s
feat(rules): add new workflow error patterns from 2026-01-09 session CodeQL Security Analysis #75: Commit 7888e8d pushed by hyperpolymath
1m 2s main
main
1m 2s
feat(rules): enhance security rules with learnings from audit CodeQL Security Analysis #74: Commit bc0932a pushed by hyperpolymath
1m 0s main
main
1m 0s
feat(engine): Add learning module for continuous improvement CodeQL Security Analysis #73: Commit 6084195 pushed by hyperpolymath
56s main
main
56s
ProTip! You can narrow down the results and go further in time using created:<2026-01-08 or the other filters available.