Shati Patel
3c00678c7a
Merge pull request #66 from github/shati-patel/submodules
...
Automatically update submodule pointers
2021-04-29 22:42:55 +01:00
Shati Patel
1f5195696b
Merge pull request #67 from github/shati-patel/force-push
...
Fix workflow to update `master`
2021-04-29 22:40:28 +01:00
Shati Patel
4572d051a8
Add workflow_dispatch
...
Co-authored-by: Andrew Eisenberg <aeisenberg@github.com >
2021-04-29 22:36:13 +01:00
Shati Patel
fcf0d05135
Update mirror-main-to-master.yml
2021-04-29 22:31:08 +01:00
Shati Patel
026e750fb3
Force push updates to master
2021-04-29 22:24:29 +01:00
Shati Patel
db98107643
Merge pull request #65 from github/shati-patel/mirror-main
...
Add workflow to mirror main to master
2021-04-29 22:19:18 +01:00
Shati Patel
bb07caa1cb
Run on schedule
2021-04-29 22:11:56 +01:00
Shati Patel
1a51efefce
Don't run on forks
2021-04-29 20:51:03 +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
shati-patel
5999062f0c
Add workflow to mirror main to master
2021-04-29 17:06:01 +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
