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
feat(labels): estate label tooling + auto-triage for new issues (#59) CodeQL Security Analysis #42: Commit 9464323 pushed by hyperpolymath
47s main
main
47s
feat(labels): estate label tooling + auto-triage for new issues CodeQL Security Analysis #41: Pull request #59 synchronize by hyperpolymath
2m 31s automated/label-tooling
automated/label-tooling
2m 31s
feat(labels): estate label tooling + auto-triage for new issues CodeQL Security Analysis #40: Pull request #59 synchronize by hyperpolymath
45m 51s automated/label-tooling
automated/label-tooling
45m 51s
feat(labels): estate label tooling + auto-triage for new issues CodeQL Security Analysis #39: Pull request #59 opened by hyperpolymath
3m 40s automated/label-tooling
automated/label-tooling
3m 40s
refactor: migrate Markdown to AsciiDoc (#58) CodeQL Security Analysis #38: Commit 59538cf pushed by hyperpolymath
22m 10s main
main
22m 10s
refactor: migrate Markdown to AsciiDoc CodeQL Security Analysis #37: Pull request #58 opened by hyperpolymath
23m 0s refactor/md-to-adoc
refactor/md-to-adoc
23m 0s
feat(security): add gitleaks secret scanning — this repo had none (#57) CodeQL Security Analysis #36: Commit 8bffc43 pushed by hyperpolymath
40s main
main
40s
feat(security): add gitleaks secret scanning — this repo had none CodeQL Security Analysis #35: Pull request #57 opened by hyperpolymath
1m 16s feat/secret-scanning
feat/secret-scanning
1m 16s
chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest CodeQL Security Analysis #34: Pull request #56 opened by hyperpolymath
22m 7s chore/estate-topup
chore/estate-topup
22m 7s
CodeQL Security Analysis CodeQL Security Analysis #33: Scheduled
45s main
main
45s
docs: stop describing two deleted CI workflows as live (#55) CodeQL Security Analysis #32: Commit 871e0be pushed by hyperpolymath
42s main
main
42s
docs: stop describing two deleted CI workflows as live CodeQL Security Analysis #31: Pull request #55 opened by hyperpolymath
58s docs/retire-blocker-workflow-references
docs/retire-blocker-workflow-references
58s
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