Skip to content

Actions: hyperpolymath/arghda-core

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
42 workflow runs
42 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
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
ArghDA M6 follow-on: Lean #print axioms audit — honest Unknown→Proven CodeQL Security Analysis #5: Pull request #42 opened by hyperpolymath
40s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
40s
ArghDA M4 follow-on: Idris2 .ipkg-declared roots (#41) CodeQL Security Analysis #4: Commit 4f4a9f5 pushed by hyperpolymath
37s main
main
37s
ArghDA M4 follow-on: Idris2 .ipkg-declared roots CodeQL Security Analysis #3: Pull request #41 opened by hyperpolymath
47s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
47s
ArghDA M7: Echidna dispatch seam — completes the engine-spine deliver… CodeQL Security Analysis #2: Commit e4fba04 pushed by hyperpolymath
35s main
main
35s
ArghDA M7: Echidna dispatch seam — completes the engine-spine deliverable CodeQL Security Analysis #1: Pull request #40 synchronize by hyperpolymath
46s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
46s