Skip to content

Actions: hyperpolymath/arghda-core

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
30 workflow runs
30 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 (#54) CodeQL Security Analysis #30: Commit 29f50b6 pushed by hyperpolymath
28m 19s main
main
28m 19s
Sync local commits to main CodeQL Security Analysis #29: Pull request #54 opened by hyperpolymath
17m 15s sync-local-updates-1784830498
sync-local-updates-1784830498
17m 15s
ArghDA multi-prover roadmap: residuals analysis & M10 completion (#53) CodeQL Security Analysis #28: Commit 671ae19 pushed by hyperpolymath
43s main
main
43s
ArghDA multi-prover roadmap: residuals analysis & M10 completion CodeQL Security Analysis #27: Pull request #53 opened by hyperpolymath
54s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
54s
ArghDA M9 follow-on: Isabelle session-qualified imports (M9 → 98%) (#52) CodeQL Security Analysis #26: Commit 3fb48ed pushed by hyperpolymath
38s main
main
38s
ArghDA M9 follow-on: Isabelle session-qualified imports (M9 → 98%) CodeQL Security Analysis #25: Pull request #52 opened by hyperpolymath
45s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
45s
ArghDA M10 follow-on: Mizar local-article cross-references (M10 → 95%… CodeQL Security Analysis #24: Commit da34183 pushed by hyperpolymath
46s main
main
46s
ArghDA M10 follow-on: Mizar local-article cross-references (M10 → 95%) CodeQL Security Analysis #23: Pull request #51 opened by hyperpolymath
44s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
44s
ArghDA M8 follow-on: dependency-ordered Coq compilation (M8 → 97%) (#50) CodeQL Security Analysis #22: Commit ad7d949 pushed by hyperpolymath
42s main
main
42s
ArghDA M8 follow-on: dependency-ordered Coq compilation (M8 → 97%) CodeQL Security Analysis #21: Pull request #50 opened by hyperpolymath
40s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
40s
ArghDA M7: investigation — Echidna client blocked, honest stub stays … CodeQL Security Analysis #20: Commit 27bbca0 pushed by hyperpolymath
41s main
main
41s
ArghDA M7: investigation — Echidna client blocked, honest stub stays (docs) CodeQL Security Analysis #19: Pull request #49 opened by hyperpolymath
40s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
40s
ArghDA M4 follow-on: Idris2 totality-hole + partial lint (M4 → 100%) … CodeQL Security Analysis #18: Commit bd7bb5f pushed by hyperpolymath
41s main
main
41s
ArghDA M4 follow-on: Idris2 totality-hole + partial lint (M4 → 100%) CodeQL Security Analysis #17: Pull request #48 opened by hyperpolymath
43s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
43s
ArghDA M6 follow-on: lake-env import resolution (M6 → 100%) (#47) CodeQL Security Analysis #16: Commit b944e39 pushed by hyperpolymath
35s main
main
35s
ArghDA M6 follow-on: lake-env import resolution (M6 → 100%) CodeQL Security Analysis #15: Pull request #47 opened by hyperpolymath
46s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
46s
ArghDA M10: Mizar adapter — heavy tail complete (a real verify, not d… CodeQL Security Analysis #14: Commit d61ae75 pushed by hyperpolymath
35s main
main
35s
ArghDA M10: Mizar adapter — heavy tail complete (a real verify, not detect-only) CodeQL Security Analysis #13: Pull request #46 opened by hyperpolymath
40s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
40s
ArghDA M9: Isabelle/HOL adapter — second heavy-tail backend (foundati… CodeQL Security Analysis #12: Commit b0697cb pushed by hyperpolymath
38s main
main
38s
ArghDA M9: Isabelle/HOL adapter — second heavy-tail backend (foundation-first) CodeQL Security Analysis #11: Pull request #45 opened by hyperpolymath
45s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
45s
ArghDA M8: Coq/Rocq adapter — first heavy-tail backend (foundation-fi… CodeQL Security Analysis #10: Commit 402f663 pushed by hyperpolymath
43s main
main
43s
ArghDA M8: Coq/Rocq adapter — first heavy-tail backend (foundation-first) CodeQL Security Analysis #9: Pull request #44 opened by hyperpolymath
1m 2s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
1m 2s
ArghDA M3 follow-on: workspace-fed verdicts + staleness in reason (… CodeQL Security Analysis #8: Commit 0aa9ff2 pushed by hyperpolymath
36s main
main
36s
ArghDA M3 follow-on: workspace-fed verdicts + staleness in reason CodeQL Security Analysis #7: Pull request #43 opened by hyperpolymath
47s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
47s
ArghDA M6 follow-on: Lean #print axioms audit — honest Unknown→Prov… CodeQL Security Analysis #6: Commit 58e2e91 pushed by hyperpolymath
40s main
main
40s