Skip to content

Actions: hyperpolymath/epistemic-types

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
41 workflow runs
41 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
refactor: migrate Markdown to AsciiDoc (#19) CodeQL Security Analysis #41: Commit 276db99 pushed by hyperpolymath
25m 18s main
main
25m 18s
refactor: migrate Markdown to AsciiDoc CodeQL Security Analysis #40: Pull request #19 opened by hyperpolymath
23m 50s refactor/md-to-adoc
refactor/md-to-adoc
23m 50s
CodeQL Security Analysis CodeQL Security Analysis #39: Scheduled
58s main
main
58s
chore(guix): author bespoke guix environment for Agda toolchain (#140… CodeQL Security Analysis #38: Commit 69fcd4c pushed by hyperpolymath
39s main
main
39s
chore(guix): author bespoke guix environment for Agda toolchain (#140) CodeQL Security Analysis #37: Pull request #18 opened by hyperpolymath
43s feat/guix-140
feat/guix-140
43s
Revise README for clarity and completeness (#16) CodeQL Security Analysis #36: Commit 4da964b pushed by hyperpolymath
1m 14s main
main
1m 14s
Revise README for clarity and completeness CodeQL Security Analysis #35: Pull request #16 synchronize by hyperpolymath
1m 20s hyperpolymath-patch-1
hyperpolymath-patch-1
1m 20s
Add detailed explanation for epistemic types (#17) CodeQL Security Analysis #34: Commit 19acad6 pushed by hyperpolymath
43s main
main
43s
Add detailed explanation for epistemic types CodeQL Security Analysis #33: Pull request #17 opened by hyperpolymath
57s hyperpolymath-patch-2
hyperpolymath-patch-2
57s
Revise README for clarity and completeness CodeQL Security Analysis #32: Pull request #16 opened by hyperpolymath
1m 2s hyperpolymath-patch-1
hyperpolymath-patch-1
1m 2s
CodeQL Security Analysis CodeQL Security Analysis #31: Scheduled
42s main
main
42s
CodeQL Security Analysis CodeQL Security Analysis #30: Scheduled
43s main
main
43s
feat(security): add gitleaks secret scanning — this repo had none (#15) CodeQL Security Analysis #29: Commit 57afadd pushed by hyperpolymath
46s main
main
46s
feat(security): add gitleaks secret scanning — this repo had none CodeQL Security Analysis #28: Pull request #15 opened by hyperpolymath
54s feat/secret-scanning
feat/secret-scanning
54s
CodeQL Security Analysis CodeQL Security Analysis #27: Scheduled
43s main
main
43s
CodeQL Security Analysis CodeQL Security Analysis #26: Scheduled
48s main
main
48s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… CodeQL Security Analysis #25: Commit 77cd6a8 pushed by hyperpolymath
3h 11m 50s main
main
3h 11m 50s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump CodeQL Security Analysis #24: Pull request #14 opened by hyperpolymath
16m 22s fix/governance-gate-sweep
fix/governance-gate-sweep
16m 22s
CodeQL Security Analysis CodeQL Security Analysis #23: Scheduled
49s main
main
49s
CodeQL Security Analysis CodeQL Security Analysis #22: Scheduled
48s main
main
48s
CodeQL Security Analysis CodeQL Security Analysis #21: Scheduled
44s main
main
44s
CodeQL Security Analysis CodeQL Security Analysis #20: Scheduled
42s main
main
42s
docs(proof-status): epistemic-types — LICENSE now present, clear stal… CodeQL Security Analysis #19: Commit 3e4a5c3 pushed by hyperpolymath
42s main
main
42s
docs(proof-status): epistemic-types — LICENSE now present, clear stale note CodeQL Security Analysis #18: Pull request #13 opened by hyperpolymath
37s claude/hopeful-babbage-pn0l4o
claude/hopeful-babbage-pn0l4o
37s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #17: Pull request #12 opened by hyperpolymath
45m 44s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
45m 44s