Skip to content

Actions: hyperpolymath/coq-jr

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #49: Scheduled
7s main
main
7s
CodeQL CodeQL #48: Scheduled
8s main
main
8s
chore: add missing RSR template files CodeQL #47: Commit 9f6e4e1 pushed by hyperpolymath
11m 48s main
main
11m 48s
chore: remove crash capture artifacts, update .gitignore CodeQL #46: Commit 1d01630 pushed by hyperpolymath
13m 16s main
main
13m 16s
CodeQL CodeQL #45: Scheduled
6s main
main
6s
fix: remove duplicate SCM files from root CodeQL #44: Commit 759c958 pushed by hyperpolymath
1h 53m 10s main
main
1h 53m 10s
docs: update SCM files with project information CodeQL #43: Commit b94d05d pushed by hyperpolymath
2h 58m 23s main
main
2h 58m 23s
general update CodeQL #42: Commit 896c400 pushed by hyperpolymath
26m 39s main
main
26m 39s
Add Rhodium dotfiles CodeQL #41: Commit 9639e98 pushed by hyperpolymath
11m 6s main
main
11m 6s
CodeQL CodeQL #40: Scheduled
8s main
main
8s
chore: sync CodeQL #39: Commit e80f900 pushed by hyperpolymath
42m 15s main
main
42m 15s
docs: add checkpoint files for state tracking CodeQL #38: Commit a4eed59 pushed by hyperpolymath
14m 8s main
main
14m 8s
feat(ci): enable Hypatia scanning CodeQL #37: Commit b0314ad pushed by hyperpolymath
19m 7s main
main
19m 7s
CodeQL CodeQL #36: Scheduled
6s main
main
6s
docs: update license from AGPL to PMPL CodeQL #35: Commit 6efc2cf pushed by hyperpolymath
2h 51m 8s main
main
2h 51m 8s
chore: fix license headers to PMPL-1.0-or-later CodeQL #34: Commit 005f106 pushed by hyperpolymath
1h 41m 38s main
main
1h 41m 38s
chore: commit local changes for sync CodeQL #33: Commit bca8dd9 pushed by hyperpolymath
15m 9s main
main
15m 9s
CodeQL CodeQL #32: Scheduled
6s main
main
6s
Add STATE.scm project tracking CodeQL #31: Commit 17e17cb pushed by hyperpolymath
24s main
main
24s
Add PMPL-1.0 license CodeQL #30: Commit a03e955 pushed by hyperpolymath
14s main
main
14s
CodeQL CodeQL #29: Scheduled
5s main
main
5s
Normalize license badge CodeQL #28: Commit afbff0d pushed by hyperpolymath
51m 25s main
main
51m 25s
chore(security): Add missing workflows and security policy CodeQL #27: Commit a3b9b10 pushed by hyperpolymath
3m 14s main
main
3m 14s
Remove duplicate CONTRIBUTING.md (content in CONTRIBUTING.adoc) CodeQL #26: Commit 8e460d3 pushed by hyperpolymath
30m 38s main
main
30m 38s
Add MAINTAINERS.adoc CodeQL #25: Commit e4f653b pushed by hyperpolymath
53m 8s main
main
53m 8s