c2be7fe71f
Avoid deprecations in examples
2020-10-31 10:46:27 -07:00
868aeee8a9
Avoid deprecation message in sample query
2020-10-20 13:12:02 -07:00
e89c096a4f
Merge pull request #42 from aibaars/update-codeql-submodule
...
Update CodeQL submodule
2020-10-15 08:13:22 -07:00
fd48ef4786
Update CodeQL submodule
2020-10-15 10:07:02 +02:00
0186c5514e
Merge pull request #41 from igfoo/update-codeql-submodule
...
Update CodeQL submodule
2020-09-28 09:36:17 -07:00
8897453642
Update CodeQL submodule
2020-09-28 14:43:08 +01:00
d2f5715e20
Update devcontainer memory settings
...
CodeQL CLI needs a minimum of 2G of memory. By default, the memory used
is slightly less than that, leading to poor performance.
2020-09-02 12:42:21 -07:00
4c4e41c030
Merge pull request #38 from jbj/update-codeql-submodule
...
Update CodeQL submodule
2020-08-21 19:25:24 +02:00
3f739eb77f
Update CodeQL submodule
2020-08-21 09:13:34 +02:00
04d7ace3a0
Merge pull request #37 from tamasvajk/remove-noise
...
Turn off C# auto-compile
2020-07-31 10:26:58 +02:00
01efb6f6a7
Remove unnecessary workspace setting
2020-07-30 06:52:42 -07:00
327670aae7
Turn off C# auto-compile
...
If the C# extension is installed, then it reports 25k+ errors on the C# extractor until it is properly built. This is pure noise for the users of this repo, so this commit disables the C# compilation altogether.
2020-07-30 15:01:05 +02:00
c468efd1be
Update CodeQL submodule
2020-07-16 15:26:27 -07:00
2bc1d0975e
Merge pull request #34 from shati-patel/shati-patel-patch-1
...
Fix small typo in README
2020-07-05 12:26:40 -07:00
dc623c408f
Fix small typo
2020-07-03 08:48:10 +01:00
86a2f26779
Merge pull request #33 from github/aeisenberg/private-fork-readme
...
Add instructions on how to make a private fork
2020-07-01 13:44:12 -07:00
064b1d43fb
Add instructions on how to make a private fork
2020-06-29 22:15:26 -07:00
84308761b5
Merge pull request #30 from rdmarsh2/add-manifest
...
Add CodeQL manifest
2020-06-22 12:02:59 -07:00
0b178aff74
Add CodeQL manifest
2020-06-19 14:39:15 -07:00
0229008021
Merge pull request #29 from github/update-codeql-submodule
...
Update CodeQL submodule
2020-06-12 09:14:22 -07:00
f65bad76bb
Update CodeQL submodule
2020-06-12 17:01:53 +01:00
c195b2e8dd
Merge pull request #28 from aschackmull/update-codeql-submodule
...
Update CodeQL submodule
2020-05-28 07:53:23 -04:00
aba03c6c68
Update CodeQL submodule
2020-05-28 13:31:29 +02:00
c27343c49a
Merge pull request #27 from shati-patel/codeql-repo
...
Use new repo name in README
2020-05-21 17:01:53 +01:00
35196c8255
Use new repo name in README
2020-05-21 07:54:32 +01:00
c973716af1
Merge pull request #25 from yo-h/update-codeql-submodule
...
Update CodeQL submodule
2020-05-17 14:58:38 +02:00
4b5bda096f
Update CodeQL submodule
2020-05-15 16:59:57 -04:00
7bb81ef5f0
Merge pull request #24 from github/add-settings
...
Add experimental settings to devcontainer
2020-05-06 11:39:53 -04:00
0041802a25
Add experimental settings to devcontainer
2020-05-06 07:52:09 -07:00
4de212b6d9
Merge pull request #23 from github/add-zip
...
Add zip file explorer
2020-05-05 15:45:11 -04:00
f697114655
Add zip file explorer
2020-05-05 19:07:50 +00:00
6429333e7f
Fix the command
2020-05-05 11:55:56 -07:00
e7198f97ff
Add initialize command for devcontainer
2020-05-05 11:55:56 -07:00
db5d96746a
Merge pull request #17 from hvitved/update-codeql-submodule
...
Update CodeQL submodule
2020-04-30 16:10:23 +02:00
7de69a6ede
Update CodeQL submodule
2020-04-30 14:58:35 +02:00
f93f3aeec4
Merge pull request #16 from tausbn/update-codeql-submodule
...
Update CodeQL submodule
2020-04-21 16:36:49 +02:00
e1f38f75a2
Update CodeQL submodule
2020-04-21 15:26:47 +02:00
280269cda5
Merge pull request #15 from henrymercer/remove-unused-settings
...
Remove unused settings and disable updating to prereleases of the CodeQL CLI by default
2020-04-16 14:54:02 -04:00
7c3d67b7e3
Remove unused settings and disable updating to prereleases by default
2020-04-16 19:10:08 +01:00
623235d385
Merge pull request #14 from asgerf/update-codeql-submodule
...
Update CodeQL submodule
2020-03-27 08:50:56 -04:00
a1183b0145
Update CodeQL submodule
2020-03-27 12:36:41 +00:00
5c002b4d0f
Merge pull request #13 from aeisenberg/aeisenberg/devcontainer
...
chore: Add default extension for remote development
2020-03-25 13:22:41 -04:00
2975a4ffed
chore: Add default extension for remove development
2020-03-24 19:12:24 -07:00
71cfc9c9c7
Merge pull request #11 from max-schaefer/update-submodules
...
Update CodeQL submodules.
2020-03-12 07:56:29 -04:00
7b9fd822d9
Update CodeQL submodules.
2020-03-12 10:18:06 +00:00
65ffee028c
Merge pull request #10 from jbj/update-codeql-submodule
...
Update CodeQL submodule
2020-02-21 16:16:23 +01:00
9c07d2e854
Update CodeQL submodule
2020-02-21 15:54:52 +01:00
520b206c50
Merge pull request #9 from matt-gretton-dann/update-codeql-submodule
...
Update CodeQL submodule
2020-02-05 14:32:28 +01:00
e749b5a25a
Update CodeQL submodule
2020-02-05 09:46:40 +00:00
95174169dd
Merge pull request #8 from adityasharad/queries-xml
...
Add `queries.xml` files.
2020-01-21 16:54:22 +00:00
Andrew Eisenberg
Andrew Eisenberg
Aditya Sharad
Arthur Baars
Ian Lynagh
Henning Makholm
Jonas Jensen
Tom Hvitved
Tamas Vajk
Calum Grant
Shati Patel
Robert Marsh
Robert Marsh
Nick Rolfe
jcreedcmu
Anders Schack-Mulligen
yo-h
Taus Brock-Nannestad
Henry Mercer
Asger Feldthaus
Max Schaefer
Matthew Gretton-Dann
Alexander Eyers-Taylor