Skip to content

Actions: hyperpolymath/dafniser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
188 workflow runs
188 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: the Hypatia gate could never fire — the defects that made it unconditionally vacuous CodeQL Security Analysis #188: Pull request #67 opened by hyperpolymath
40s fix/hypatia-gate-repair
fix/hypatia-gate-repair
40s
chore(ci): repoint push-email-notify to smtp-notify-action CodeQL Security Analysis #187: Pull request #66 opened by hyperpolymath
1m 37s chore/smtp-notify-action
chore/smtp-notify-action
1m 37s
CodeQL Security Analysis CodeQL Security Analysis #186: Scheduled
52s main
main
52s
fix(ci): the invisible-character gate never matched anything CodeQL Security Analysis #185: Pull request #62 synchronize by hyperpolymath
15m 20s fix/empty-linter-pattern-never-matched
fix/empty-linter-pattern-never-matched
15m 20s
fix(ci): the invisible-character gate never matched anything CodeQL Security Analysis #184: Pull request #62 synchronize by hyperpolymath
5m 6s fix/empty-linter-pattern-never-matched
fix/empty-linter-pattern-never-matched
5m 6s
fix(ci): the invisible-character gate never matched anything CodeQL Security Analysis #183: Pull request #62 synchronize by hyperpolymath
3m 8s fix/empty-linter-pattern-never-matched
fix/empty-linter-pattern-never-matched
3m 8s
chore(deps): bump the actions group with 2 updates (#65) CodeQL Security Analysis #182: Commit 56e337d pushed by hyperpolymath
12m 35s main
main
12m 35s
fix(ci): the invisible-character gate never matched anything CodeQL Security Analysis #181: Pull request #62 synchronize by hyperpolymath
29m 29s fix/empty-linter-pattern-never-matched
fix/empty-linter-pattern-never-matched
29m 29s
chore(deps): bump the actions group with 2 updates CodeQL Security Analysis #180: Pull request #65 opened by dependabot Bot
49s dependabot/github_actions/actions-b632086d0b
dependabot/github_actions/actions-b632086d0b
49s
fix: AGENTIC licence line + a2ml-validate-action repin (#64) CodeQL Security Analysis #179: Commit 64dc8b7 pushed by hyperpolymath
2h 43m 3s main
main
2h 43m 3s
fix: AGENTIC licence line + a2ml-validate-action repin CodeQL Security Analysis #178: Pull request #64 opened by hyperpolymath
2h 41m 51s fix/agentic-licence-and-validate-pin
fix/agentic-licence-and-validate-pin
2h 41m 51s
feat(labels): estate label tooling + auto-triage for new issues (#63) CodeQL Security Analysis #177: Commit d96382a pushed by hyperpolymath
18m 31s main
main
18m 31s
feat(labels): estate label tooling + auto-triage for new issues CodeQL Security Analysis #176: Pull request #63 synchronize by hyperpolymath
7m 49s automated/label-tooling
automated/label-tooling
7m 49s
feat(labels): estate label tooling + auto-triage for new issues CodeQL Security Analysis #175: Pull request #63 synchronize by hyperpolymath
1h 3m 6s automated/label-tooling
automated/label-tooling
1h 3m 6s
feat(labels): estate label tooling + auto-triage for new issues CodeQL Security Analysis #174: Pull request #63 opened by hyperpolymath
15m 38s automated/label-tooling
automated/label-tooling
15m 38s
fix(ci): the invisible-character gate never matched anything CodeQL Security Analysis #173: Pull request #62 opened by hyperpolymath
45s fix/empty-linter-pattern-never-matched
fix/empty-linter-pattern-never-matched
45s
refactor: migrate Markdown to AsciiDoc (#61) CodeQL Security Analysis #172: Commit 4aa6318 pushed by hyperpolymath
25m 16s main
main
25m 16s
refactor: migrate Markdown to AsciiDoc CodeQL Security Analysis #171: Pull request #61 opened by hyperpolymath
23m 1s refactor/md-to-adoc
refactor/md-to-adoc
23m 1s
chore(guix): quality pass - fix stub/invalid names (#139) (#59) CodeQL Security Analysis #170: Commit a2dd3c6 pushed by hyperpolymath
2h 51m 21s main
main
2h 51m 21s
chore(guix): quality pass - fix stub/invalid names (#139) CodeQL Security Analysis #169: Pull request #59 synchronize by hyperpolymath
2h 46m 0s chore/guix-sweep-139
chore/guix-sweep-139
2h 46m 0s
chore(nix->guix): delete Nix estate-wide (#138) (#60) CodeQL Security Analysis #168: Commit 71cabd1 pushed by hyperpolymath
17m 40s main
main
17m 40s
chore(nix->guix): delete Nix estate-wide (#138) CodeQL Security Analysis #167: Pull request #60 opened by hyperpolymath
33m 29s chore/nix-sweep-138
chore/nix-sweep-138
33m 29s
chore(guix): quality pass - fix stub/invalid names (#139) CodeQL Security Analysis #166: Pull request #59 opened by hyperpolymath
6m 43s chore/guix-sweep-139
chore/guix-sweep-139
6m 43s
chore(deps): bump the actions group with 3 updates (#58) CodeQL Security Analysis #165: Commit b55abd0 pushed by hyperpolymath
48s main
main
48s
chore(deps): bump the actions group with 3 updates CodeQL Security Analysis #164: Pull request #58 opened by dependabot Bot
43s dependabot/github_actions/actions-5f86c6f8c6
dependabot/github_actions/actions-5f86c6f8c6
43s