Skip to content

Actions: weavefoundry/weavec

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
99 workflow runs
99 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
docs: launch WeaveC documentation site with Starlight CodeQL #99: Commit bbf14c3 pushed by owenthcarey
35m 9s main
main
35m 9s
docs: launch WeaveC documentation site with Starlight CodeQL #98: Commit 3cfd1f1 pushed by owenthcarey
36m 51s main
main
36m 51s
docs: improve keyboard access to reference tables CodeQL #97: Commit 6d088fa pushed by owenthcarey
28m 3s main
main
28m 3s
docs: preserve generated content during preview refresh CodeQL #96: Commit abb43b0 pushed by owenthcarey
36m 40s main
main
36m 40s
build(docs): bump the documentation group in /docs with 2 updates CodeQL #95: Pull request #32 opened by dependabot Bot
18m 4s dependabot/npm_and_yarn/docs/documentation-b838d13bd0
dependabot/npm_and_yarn/docs/documentation-b838d13bd0
18m 4s
docs: launch WeaveC documentation site with Starlight CodeQL #94: Commit 665f735 pushed by owenthcarey
35m 29s main
main
35m 29s
feat!: infer contracts for opaque objects and private state (#31) CodeQL #93: Commit 7f160c2 pushed by owenthcarey
34m 19s main
main
34m 19s
feat!: infer contracts for opaque objects and private state CodeQL #92: Pull request #31 synchronize by owenthcarey
27m 49s feat/opaque-objects-and-private-state
feat/opaque-objects-and-private-state
27m 49s
feat!: infer contracts for opaque objects and private state CodeQL #91: Pull request #31 opened by owenthcarey
36m 38s feat/opaque-objects-and-private-state
feat/opaque-objects-and-private-state
36m 38s
feat!: add recursive ownership and complete cleanup contracts (#30) CodeQL #90: Commit 40e5b2b pushed by owenthcarey
35m 39s main
main
35m 39s
feat!: add recursive ownership and complete cleanup contracts CodeQL #89: Pull request #30 synchronize by owenthcarey
34m 34s feat/recursive-object-ownership
feat/recursive-object-ownership
34m 34s
feat!: add recursive ownership and complete cleanup contracts CodeQL #88: Pull request #30 opened by owenthcarey
32m 33s feat/recursive-object-ownership
feat/recursive-object-ownership
32m 33s
CodeQL CodeQL #87: Scheduled
32m 16s main
main
32m 16s
feat!: infer growable buffer and vector contracts (#29) CodeQL #86: Commit 00575b9 pushed by owenthcarey
32m 56s main
main
32m 56s
feat!: infer growable buffer and vector contracts CodeQL #85: Pull request #29 synchronize by owenthcarey
27m 6s feat/growable-buffer-contracts
feat/growable-buffer-contracts
27m 6s
feat!: infer growable buffer and vector contracts CodeQL #84: Pull request #29 opened by owenthcarey
32m 37s feat/growable-buffer-contracts
feat/growable-buffer-contracts
32m 37s
feat!: add checked input cases and union member tracking (#28) CodeQL #83: Commit 75b7f8d pushed by owenthcarey
31m 59s main
main
31m 59s
feat!: add checked input cases and union member tracking CodeQL #82: Pull request #28 synchronize by owenthcarey
23m 47s feat/checked-cases-and-union-tracking
feat/checked-cases-and-union-tracking
23m 47s
feat!: add checked input cases and union member tracking CodeQL #81: Pull request #28 opened by owenthcarey
29m 53s feat/checked-cases-and-union-tracking
feat/checked-cases-and-union-tracking
29m 53s
feat!: check C runtime and variadic interface contracts (#27) CodeQL #80: Commit 4f05ecc pushed by owenthcarey
32m 11s main
main
32m 11s
feat!: check C runtime and variadic interface contracts CodeQL #79: Pull request #27 synchronize by owenthcarey
29m 50s codex/rfc0024-runtime-contracts
codex/rfc0024-runtime-contracts
29m 50s
feat!: check C runtime and variadic interface contracts CodeQL #78: Pull request #27 opened by owenthcarey
29m 11s codex/rfc0024-runtime-contracts
codex/rfc0024-runtime-contracts
29m 11s
feat: infer ownership contracts for linked containers (#26) CodeQL #77: Commit 1f75ed5 pushed by owenthcarey
28m 19s main
main
28m 19s
feat: infer ownership contracts for linked containers CodeQL #76: Pull request #26 opened by owenthcarey
21m 13s feat/linked-container-contracts
feat/linked-container-contracts
21m 13s
feat: check opaque pointers, callbacks, and allocator hooks (#25) CodeQL #75: Commit 8ed6a1b pushed by owenthcarey
28m 42s main
main
28m 42s