Skip to content

Actions: codifide/codifide-programming-language

Actions

CodeQL — Security scanning

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
fix: install without blob extra in CI — vercel_blob requires Python >… CodeQL — Security scanning #17: Commit 8551935 pushed by codifide
57s main
main
57s
fix: is_bottom exempt from BottomPropagationError check; add tests; f… CodeQL — Security scanning #16: Commit a8cc2ea pushed by codifide
1m 2s main
main
1m 2s
feat: V4-3 complete — all 5 pipeline symbols live, end-to-end registr… CodeQL — Security scanning #15: Commit fa74972 pushed by codifide
54s main
main
54s
Bump actions/setup-python from 5 to 6 CodeQL — Security scanning #14: Pull request #7 synchronize by dependabot Bot
1m 4s dependabot/github_actions/actions/setup-python-6
dependabot/github_actions/actions/setup-python-6
1m 4s
Bump github/codeql-action from 3 to 4 CodeQL — Security scanning #13: Pull request #9 synchronize by dependabot Bot
56s dependabot/github_actions/github/codeql-action-4
dependabot/github_actions/github/codeql-action-4
56s
Bump actions/checkout from 4 to 6 CodeQL — Security scanning #12: Pull request #8 synchronize by dependabot Bot
1m 5s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1m 5s
ci: add PyPI publish job on main push CodeQL — Security scanning #11: Commit 520d501 pushed by codifide
1m 0s main
main
1m 0s
tasks: mark registry seeding done (3 symbols live), PyPI is tomorrow CodeQL — Security scanning #10: Commit f6d4b53 pushed by codifide
56s main
main
56s
session close: PyPI on TODO, all v4.0 items closed, session-close-2 f… CodeQL — Security scanning #9: Commit 3951523 pushed by codifide
1m 3s main
main
1m 3s
v4.0 close: Sable audits (type enforcement + stdlib), cookbook entrie… CodeQL — Security scanning #8: Commit 6ccb73f pushed by codifide
56s main
main
56s
community: CODE_OF_CONDUCT, updated CONTRIBUTING, issue/PR templates,… CodeQL — Security scanning #7: Commit 6bab38a pushed by codifide
1m 8s main
main
1m 8s
Bump github/codeql-action from 3 to 4 CodeQL — Security scanning #6: Pull request #9 opened by dependabot Bot
58s dependabot/github_actions/github/codeql-action-4
dependabot/github_actions/github/codeql-action-4
58s
Bump actions/checkout from 4 to 6 CodeQL — Security scanning #5: Pull request #8 opened by dependabot Bot
57s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
57s
Bump actions/setup-python from 5 to 6 CodeQL — Security scanning #4: Pull request #7 opened by dependabot Bot
1m 1s dependabot/github_actions/actions/setup-python-6
dependabot/github_actions/actions/setup-python-6
1m 1s
Update criterion requirement from 0.5 to 0.8 CodeQL — Security scanning #3: Pull request #6 opened by dependabot Bot
59s dependabot/cargo/criterion-0.8
dependabot/cargo/criterion-0.8
59s
Update sha2 requirement from 0.10 to 0.11 CodeQL — Security scanning #2: Pull request #5 opened by dependabot Bot
1m 0s dependabot/cargo/sha2-0.11
dependabot/cargo/sha2-0.11
1m 0s
security: SECURITY.md, Dependabot config, CodeQL scanning, CI workflow CodeQL — Security scanning #1: Commit 19f8c86 pushed by codifide
59s main
main
59s