eb5a6af9ae
Update Ql submodules.
2020-09-11 15:47:31 +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
5b705cce30
gitignore compilation caches.
2020-01-21 08:50:58 -08:00
66342a7958
Add `queries.xml` files.
...
Supports compilation caching in the current version of the CodeQL tools.
2020-01-21 08:50:58 -08:00
7df9f341da
Merge pull request #7 from igfoo/update-codeql-submodule
...
Update CodeQL submodule
2020-01-21 14:23:25 +00:00
700fa9b9ef
Update CodeQL submodule
2020-01-21 12:49:11 +00:00
5ec1453395
Merge pull request #6 from dbartol/update-codeql-submodule
...
Bump `ql` and `codeql-go` submodules to newly deployed lgtm.com dist
2019-12-20 10:00:30 -08:00
alexet
Andrew Eisenberg
Henning Makholm
Jonas Jensen
Tom Hvitved
Andrew Eisenberg
Tamas Vajk
Calum Grant
Aditya Sharad
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
Aditya Sharad
Ian Lynagh