Aditya Sharad
609fedefdb
Merge pull request #53 from github/update-codeql-submodule
...
Update CodeQL submodule
2021-02-01 10:08:41 -08:00
Taus Brock-Nannestad
133c747ad2
Update CodeQL submodule
2021-01-22 16:05:46 +01:00
Chris Smowton
fcd67564ae
Merge pull request #52 from github/update-codeql-submodule
...
Update CodeQL submodule
2021-01-15 14:27:41 +00:00
Chris Smowton
eeb96aae09
Update CodeQL submodule
2021-01-07 15:56:04 +00:00
Henning Makholm
159deff0db
Merge pull request #49 from github/update-codeql-submodule
...
Update CodeQL and Go submodules
2020-12-19 04:08:43 +01:00
Chris Smowton
19ae30f3bd
Update CodeQL submodule
2020-12-18 15:38:58 +00:00
Henning Makholm
46507339fa
Merge pull request #48 from jbj/update-codeql-submodule
...
Update codeql submodule
2020-11-24 20:16:38 +01:00
Jonas Jensen
1d73cb6b17
Update CodeQL submodule
2020-11-23 18:22:33 +01:00
Henning Makholm
0b418753e9
Merge pull request #47 from github/update-codeql-submodule
...
Update CodeQL submodule
2020-11-06 18:43:20 +01:00
Calum Grant
f6964efa8c
Update CodeQL submodule
2020-11-06 16:00:52 +00:00
Aditya Sharad
f56b0acce3
Merge pull request #46 from github/aeisenberg/avoid-deprecations
...
Avoid deprecations in examples
2020-11-02 11:55:04 -08:00
Andrew Eisenberg
dcc4fb5388
Avoid deprecations in examples
2020-10-31 10:46:27 -07:00
Andrew Eisenberg
d52771c7dc
Avoid deprecation message in sample query
2020-10-20 13:12:02 -07:00
Aditya Sharad
350ba1957b
Merge pull request #42 from aibaars/update-codeql-submodule
...
Update CodeQL submodule
2020-10-15 08:13:22 -07:00
Arthur Baars
53e08d885f
Update CodeQL submodule
2020-10-15 10:07:02 +02:00
Aditya Sharad
9a1296c370
Merge pull request #41 from igfoo/update-codeql-submodule
...
Update CodeQL submodule
2020-09-28 09:36:17 -07:00
Ian Lynagh
154089d953
Update CodeQL submodule
2020-09-28 14:43:08 +01:00
Andrew Eisenberg
783278e2dd
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
Henning Makholm
5de65ca126
Merge pull request #38 from jbj/update-codeql-submodule
...
Update CodeQL submodule
2020-08-21 19:25:24 +02:00
Jonas Jensen
6dfe86df27
Update CodeQL submodule
2020-08-21 09:13:34 +02:00
Tom Hvitved
9004e13032
Merge pull request #37 from tamasvajk/remove-noise
...
Turn off C# auto-compile
2020-07-31 10:26:58 +02:00
Andrew Eisenberg
abe820de8f
Remove unnecessary workspace setting
2020-07-30 06:52:42 -07:00
Tamas Vajk
df75f1ad30
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
Calum Grant
7b0fae4279
Update CodeQL submodule
2020-07-16 15:26:27 -07:00
Aditya Sharad
628c6385a8
Merge pull request #34 from shati-patel/shati-patel-patch-1
...
Fix small typo in README
2020-07-05 12:26:40 -07:00
Shati Patel
694d941b44
Fix small typo
2020-07-03 08:48:10 +01:00
Robert Marsh
94237507b0
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
Andrew Eisenberg
f25ed2f04d
Add instructions on how to make a private fork
2020-06-29 22:15:26 -07:00
Robert Marsh
3eacf6164a
Merge pull request #30 from rdmarsh2/add-manifest
...
Add CodeQL manifest
2020-06-22 12:02:59 -07:00
Robert Marsh
9f6b05342e
Add CodeQL manifest
2020-06-19 14:39:15 -07:00
Aditya Sharad
fed331ec70
Merge pull request #29 from github/update-codeql-submodule
...
Update CodeQL submodule
2020-06-12 09:14:22 -07:00
Nick Rolfe
02dd8e35f8
Update CodeQL submodule
2020-06-12 17:01:53 +01:00
jcreedcmu
b653f97e90
Merge pull request #28 from aschackmull/update-codeql-submodule
...
Update CodeQL submodule
2020-05-28 07:53:23 -04:00
Anders Schack-Mulligen
760333bfd1
Update CodeQL submodule
2020-05-28 13:31:29 +02:00
Shati Patel
fc743b3d7d
Merge pull request #27 from shati-patel/codeql-repo
...
Use new repo name in README
2020-05-21 17:01:53 +01:00
Shati Patel
9c34749155
Use new repo name in README
2020-05-21 07:54:32 +01:00
Henning Makholm
39d42d2225
Merge pull request #25 from yo-h/update-codeql-submodule
...
Update CodeQL submodule
2020-05-17 14:58:38 +02:00
yo-h
0a3163b837
Update CodeQL submodule
2020-05-15 16:59:57 -04:00
jcreedcmu
31caad601c
Merge pull request #24 from github/add-settings
...
Add experimental settings to devcontainer
2020-05-06 11:39:53 -04:00
Andrew Eisenberg
bdcf7e9338
Add experimental settings to devcontainer
2020-05-06 07:52:09 -07:00
jcreedcmu
5058621e10
Merge pull request #23 from github/add-zip
...
Add zip file explorer
2020-05-05 15:45:11 -04:00
Andrew Eisenberg
2c957ac8f9
Add zip file explorer
2020-05-05 19:07:50 +00:00
Andrew Eisenberg
6491f5a7f8
Fix the command
2020-05-05 11:55:56 -07:00
Andrew Eisenberg
277f40d79e
Add initialize command for devcontainer
2020-05-05 11:55:56 -07:00
Henning Makholm
df862035e3
Merge pull request #17 from hvitved/update-codeql-submodule
...
Update CodeQL submodule
2020-04-30 16:10:23 +02:00
Tom Hvitved
24cc9d7006
Update CodeQL submodule
2020-04-30 14:58:35 +02:00
Henning Makholm
fc59a16f29
Merge pull request #16 from tausbn/update-codeql-submodule
...
Update CodeQL submodule
2020-04-21 16:36:49 +02:00
Taus Brock-Nannestad
8ddc84bd22
Update CodeQL submodule
2020-04-21 15:26:47 +02:00
jcreedcmu
d1211c92a9
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
Henry Mercer
ae8d190b45
Remove unused settings and disable updating to prereleases by default
2020-04-16 19:10:08 +01:00
