Shati Patel
6277e5cecb
Small editorials tweaks
2020-06-24 11:33:48 +01:00
Jason Reed
963ff9f458
Change references to master branch to main branch
...
I have already pushed `main` upstream pointing at the same commit as
master, so this PR should be safe to merge. To the best of my
knowledge all that's necessary after that is to change the
default branch
in https://github.com/github/vscode-codeql/settings/branches .
2020-06-16 14:00:02 -04:00
jcreedcmu
d35193188b
Add VS Marketplace badge
2020-02-07 09:32:22 -05:00
Jason Reed
5e41432c3d
Link CI badge to master specifically
2019-12-18 10:07:57 -05:00
jcreedcmu
3349836397
Link build status badge to build history
2019-12-17 11:09:29 -08:00
Shati Patel
b65a0ceb74
Move changelog to be packaged with extension
2019-11-22 11:26:48 +00:00
Aditya Sharad
d9a1dce7fa
CodeQL for VS Code: Initial commit.
Build Extension / Build (ubuntu-latest) (push) Has been cancelled
Build Extension / Build (windows-latest) (push) Has been cancelled
Build Extension / Test (ubuntu-latest) (push) Has been cancelled
Build Extension / Test (windows-latest) (push) Has been cancelled
Release / Release (push) Has been cancelled
2019-11-13 12:23:53 -08:00
