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
jcreedcmu
6fc2e75634
Merge pull request #14 from asgerf/update-codeql-submodule
...
Update CodeQL submodule
2020-03-27 08:50:56 -04:00
Asger Feldthaus
a949616a5a
Update CodeQL submodule
2020-03-27 12:36:41 +00:00
jcreedcmu
05d4ee3f85
Merge pull request #13 from aeisenberg/aeisenberg/devcontainer
...
chore: Add default extension for remote development
2020-03-25 13:22:41 -04:00
Andrew Eisenberg
3a63565106
chore: Add default extension for remove development
2020-03-24 19:12:24 -07:00
jcreedcmu
3a97e82b3e
Merge pull request #11 from max-schaefer/update-submodules
...
Update CodeQL submodules.
2020-03-12 07:56:29 -04:00
Max Schaefer
37e89a268e
Update CodeQL submodules.
2020-03-12 10:18:06 +00:00
Henning Makholm
3cdeb85842
Merge pull request #10 from jbj/update-codeql-submodule
...
Update CodeQL submodule
2020-02-21 16:16:23 +01:00
Jonas Jensen
b314283e6b
Update CodeQL submodule
2020-02-21 15:54:52 +01:00
Henning Makholm
edbed7b365
Merge pull request #9 from matt-gretton-dann/update-codeql-submodule
...
Update CodeQL submodule
2020-02-05 14:32:28 +01:00
Matthew Gretton-Dann
fb2ee1f804
Update CodeQL submodule
2020-02-05 09:46:40 +00:00
Alexander Eyers-Taylor
040577deeb
Merge pull request #8 from adityasharad/queries-xml
...
Add `queries.xml` files.
2020-01-21 16:54:22 +00:00
