Shati Patel
bb07caa1cb
Run on schedule
2021-04-29 22:11:56 +01:00
shati-patel
54ed69d323
Tidy error messages and split up checks
2021-04-29 20:50:04 +01:00
Shati Patel
ac8bde0aa6
Just check submodule pointers
2021-04-29 19:51:42 +01:00
Shati Patel
f362496fd1
Automatically update submodule pointers
2021-04-29 18:24:30 +01:00
Aditya Sharad
4f709d789f
Merge pull request #64 from github/update-codeql-submodule
...
Update CodeQL submodule
2021-04-28 10:41:24 -07:00
Anders Schack-Mulligen
65b4372d65
Update CodeQL submodule
2021-04-28 16:46:29 +02:00
Aditya Sharad
0c39f35b13
Merge pull request #63 from github/update-codeql-submodule
...
Update CodeQL submodule
2021-04-16 09:10:29 -07:00
Anders Schack-Mulligen
a75e6dc68f
Update CodeQL submodule
2021-04-16 14:59:29 +02:00
Aditya Sharad
cdef783240
Merge pull request #60 from github/update-codeql-submodule
...
Update CodeQL submodule
2021-03-26 09:57:33 -07:00
Tom Hvitved
219384f14b
Update CodeQL submodule
2021-03-26 13:12:44 +01:00
Cornelius Riemenschneider
825ed15695
Merge pull request #59 from github/adityasharad/update-codeql-submodule-url
...
Update github/codeql submodule URL
2021-03-22 15:18:36 +01:00
Aditya Sharad
456e2485c9
Update github/codeql submodule URL
...
No behaviour change, since the old repository name already redirects to the new one.
2021-03-22 07:17:21 -07:00
Aditya Sharad
7b74dab84b
Merge pull request #58 from github/update-codeql-submodule
...
Update CodeQL submodule
2021-03-18 09:12:30 -07:00
Tom Hvitved
900ed35a0f
Update CodeQL submodule
2021-03-18 17:07:59 +01:00
Aditya Sharad
2474fa54f0
Merge pull request #55 from github/update-codeql-submodule
...
Update CodeQL submodule
2021-03-05 12:01:34 -08:00
Asger Feldthaus
ee1d0df074
Update CodeQL submodule
2021-03-05 14:16:46 +00:00
Aditya Sharad
b1be753153
Merge pull request #54 from github/update-codeql-submodule
...
Update CodeQL submodule
2021-02-16 14:18:46 -08:00
Taus Brock-Nannestad
c44d797846
Update CodeQL submodule
2021-02-11 13:29:56 +01:00
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
