Skip to content

Actions: github/vscode-codeql

Build Extension

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,310 workflow runs
2,310 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create separate types for raw results sets
Build Extension #10194: Pull request #3093 synchronize by koesie10
December 12, 2023 13:15 15m 14s koesie10/separate-bqrs-types
December 12, 2023 13:15 15m 14s
CodeQL model editor: Make "add" and "delete" buttons more intuitive (…
Build Extension #10192: Commit 9cb4d23 pushed by shati-patel
December 12, 2023 10:42 12m 25s main
December 12, 2023 10:42 12m 25s
Remove @types/classnames package
Build Extension #10191: Pull request #3126 opened by koesie10
December 12, 2023 09:30 14m 18s koesie10/remove-types-classnames
December 12, 2023 09:30 14m 18s
Merge pull request #3124 from github/github-action/bump-cli
Build Extension #10190: Commit 8fac9b1 pushed by koesie10
December 12, 2023 09:24 15m 5s main
December 12, 2023 09:24 15m 5s
Merge pull request #3106 from github/nora/remove-local-db-code
Build Extension #10189: Commit 6c76218 pushed by norascheuch
December 12, 2023 08:38 15m 16s main
December 12, 2023 08:38 15m 16s
Run npm upgrade
Build Extension #10188: Pull request #3122 ready_for_review by koesie10
December 12, 2023 08:35 15m 33s koesie10/npm-upgrade
December 12, 2023 08:35 15m 33s
Bump CLI Version to v2.15.4 for integration tests
Build Extension #10187: Pull request #3124 ready_for_review by koesie10
December 12, 2023 08:20 14m 43s github-action/bump-cli
December 12, 2023 08:20 14m 43s
Avoid creating a multitoken when finding definitions
Build Extension #10186: Pull request #3125 opened by aeisenberg
December 12, 2023 00:32 16m 27s aeisenberg/no-multi-token
December 12, 2023 00:32 16m 27s
CodeQL model editor: Make "add" and "delete" buttons more intuitive
Build Extension #10185: Pull request #3123 opened by shati-patel
December 11, 2023 16:19 11m 29s shati-patel/delete-method
December 11, 2023 16:19 11m 29s
ProTip! You can narrow down the results and go further in time using created:<2023-12-11 or the other filters available.