Skip to content

Actions: hyperpolymath/a2ml_gleam

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
29 workflow runs
29 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
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #29: Commit 33385e5 pushed by hyperpolymath
1h 36m 14s main
main
1h 36m 14s
chore(deps): bump the actions group across 1 directory with 2 updates… CodeQL Security Analysis #28: Commit f6f1267 pushed by hyperpolymath
39s main
main
39s
chore(deps): bump the actions group across 1 directory with 2 updates CodeQL Security Analysis #27: Pull request #8 opened by dependabot bot
45s dependabot/github_actions/actions-c928749590
dependabot/github_actions/actions-c928749590
45s
chore(deps): bump haskell-actions/setup from 2.10.3 to 2.10.4 in the actions group CodeQL Security Analysis #26: Pull request #7 opened by dependabot bot
45s dependabot/github_actions/actions-24f342d9a9
dependabot/github_actions/actions-24f342d9a9
45s
CodeQL Security Analysis CodeQL Security Analysis #25: Scheduled
40s main
main
40s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #24: Commit c8f8a23 pushed by hyperpolymath
5h 10m 20s main
main
5h 10m 20s
docs: add TOPOLOGY.md CodeQL Security Analysis #23: Commit e8273ca pushed by hyperpolymath
2h 27m 7s main
main
2h 27m 7s
ci: deploy dogfood-gate, add Groove manifest and CRG tests CodeQL Security Analysis #22: Commit ccb6df5 pushed by hyperpolymath
1h 54m 5s main
main
1h 54m 5s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #21: Commit 198dcd6 pushed by hyperpolymath
6m 22s main
main
6m 22s
test: CRG C blitz — property, contract, aspect, benchmark tests CodeQL Security Analysis #20: Commit dbcc33b pushed by hyperpolymath
42s main
main
42s
chore(deps): bump the actions group across 1 directory with 7 updates… CodeQL Security Analysis #19: Commit f086552 pushed by hyperpolymath
46s main
main
46s
chore(deps): bump the actions group across 1 directory with 7 updates CodeQL Security Analysis #18: Pull request #6 opened by dependabot bot
49s dependabot/github_actions/actions-980461a2e1
dependabot/github_actions/actions-980461a2e1
49s
Add casket pages workflow CodeQL Security Analysis #17: Commit 3d554a2 pushed by hyperpolymath
13m 43s main
main
13m 43s
chore(deps): bump trufflesecurity/trufflehog from 3.94.1 to 3.94.2 in the actions group CodeQL Security Analysis #16: Pull request #5 opened by dependabot bot
47s dependabot/github_actions/actions-3b71122a1f
dependabot/github_actions/actions-3b71122a1f
47s
chore(deps): bump the actions group across 1 directory with 4 updates… CodeQL Security Analysis #15: Commit 30aa0c6 pushed by hyperpolymath
42s main
main
42s
chore(deps): bump the actions group across 1 directory with 4 updates CodeQL Security Analysis #14: Pull request #4 opened by dependabot bot
48s dependabot/github_actions/actions-a34785cb31
dependabot/github_actions/actions-a34785cb31
48s
docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit CodeQL Security Analysis #13: Commit a03e80c pushed by hyperpolymath
42s main
main
42s
CodeQL Security Analysis CodeQL Security Analysis #12: Scheduled
1m 3s main
main
1m 3s
Add .editorconfig from RSR template CodeQL Security Analysis #11: Commit f4cdff0 pushed by hyperpolymath
5m 33s main
main
5m 33s
feat: add stapeln.toml container definition CodeQL Security Analysis #10: Commit 1c9beb3 pushed by hyperpolymath
3m 35s main
main
3m 35s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… CodeQL Security Analysis #9: Commit e114d9c pushed by hyperpolymath
43s main
main
43s
feat: add UX Justfile with doctor, tour, help-me, assail recipes CodeQL Security Analysis #8: Commit 2037b6f pushed by hyperpolymath
42s main
main
42s
chore: add gitignore, gitattributes, tool-versions CodeQL Security Analysis #7: Commit ef78757 pushed by hyperpolymath
1h 54m 25s main
main
1h 54m 25s
feat: deploy UX Manifesto infrastructure CodeQL Security Analysis #6: Commit dd74439 pushed by hyperpolymath
1h 14m 4s main
main
1h 14m 4s
chore: add UX infrastructure (quickstart, doctor, setup) CodeQL Security Analysis #5: Commit aa21a1d pushed by hyperpolymath
14m 30s main
main
14m 30s