Граф коммитов

193 Коммитов

Автор SHA1 Сообщение Дата
Shati Patel faa225b13c
Run on schedule 2021-04-29 22:11:56 +01:00
Shati Patel caecbae98c
Don't run on forks 2021-04-29 20:51:03 +01:00
shati-patel 1544a85336
Tidy error messages and split up checks 2021-04-29 20:50:04 +01:00
Shati Patel c594602b91
Just check submodule pointers 2021-04-29 19:51:42 +01:00
Shati Patel 1abffd0415
Automatically update submodule pointers 2021-04-29 18:24:30 +01:00
shati-patel 3bb47a1b74
Add workflow to mirror main to master 2021-04-29 17:06:01 +01:00
Aditya Sharad 54f0727a46
Merge pull request #64 from github/update-codeql-submodule
Update CodeQL submodule
2021-04-28 10:41:24 -07:00
Anders Schack-Mulligen f4a97c918e Update CodeQL submodule 2021-04-28 16:46:29 +02:00
Aditya Sharad 1f766ae814
Merge pull request #63 from github/update-codeql-submodule
Update CodeQL submodule
2021-04-16 09:10:29 -07:00
Anders Schack-Mulligen 40f7d5dd3a Update CodeQL submodule 2021-04-16 14:59:29 +02:00
Aditya Sharad 9103e234b8
Merge pull request #60 from github/update-codeql-submodule
Update CodeQL submodule
2021-03-26 09:57:33 -07:00
Tom Hvitved d0a12bc985 Update CodeQL submodule 2021-03-26 13:12:44 +01:00
Cornelius Riemenschneider 52dc70b911
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 ed740b5311
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 c1c2dd97ee
Merge pull request #58 from github/update-codeql-submodule
Update CodeQL submodule
2021-03-18 09:12:30 -07:00
Tom Hvitved c653f0582e Update CodeQL submodule 2021-03-18 17:07:59 +01:00
Aditya Sharad 5715f0afc3
Merge pull request #55 from github/update-codeql-submodule
Update CodeQL submodule
2021-03-05 12:01:34 -08:00
Asger Feldthaus 9319a8a2e1 Update CodeQL submodule 2021-03-05 14:16:46 +00:00
Aditya Sharad 721aa1058e
Merge pull request #54 from github/update-codeql-submodule
Update CodeQL submodule
2021-02-16 14:18:46 -08:00
Taus Brock-Nannestad 8da7346674 Update CodeQL submodule 2021-02-11 13:29:56 +01:00
Aditya Sharad a140b1bb4f
Merge pull request #53 from github/update-codeql-submodule
Update CodeQL submodule
2021-02-01 10:08:41 -08:00
Taus Brock-Nannestad 2be91cb327 Update CodeQL submodule 2021-01-22 16:05:46 +01:00
Chris Smowton 3027913ffe
Merge pull request #52 from github/update-codeql-submodule
Update CodeQL submodule
2021-01-15 14:27:41 +00:00
Chris Smowton bff4799e73 Update CodeQL submodule 2021-01-07 15:56:04 +00:00
Henning Makholm e1dfc32a86
Merge pull request #49 from github/update-codeql-submodule
Update CodeQL and Go submodules
2020-12-19 04:08:43 +01:00
Chris Smowton a6162a7f5a Update CodeQL submodule 2020-12-18 15:38:58 +00:00
Henning Makholm 489792458b
Merge pull request #48 from jbj/update-codeql-submodule
Update codeql submodule
2020-11-24 20:16:38 +01:00
Jonas Jensen 762817644b Update CodeQL submodule 2020-11-23 18:22:33 +01:00
Henning Makholm 2cd2f8f73a
Merge pull request #47 from github/update-codeql-submodule
Update CodeQL submodule
2020-11-06 18:43:20 +01:00
Calum Grant 0142670f2f Update CodeQL submodule 2020-11-06 16:00:52 +00:00
Aditya Sharad 1bf83bd96c
Merge pull request #46 from github/aeisenberg/avoid-deprecations
Avoid deprecations in examples
2020-11-02 11:55:04 -08:00
Andrew Eisenberg c2be7fe71f Avoid deprecations in examples 2020-10-31 10:46:27 -07:00
Andrew Eisenberg 868aeee8a9 Avoid deprecation message in sample query 2020-10-20 13:12:02 -07:00
Aditya Sharad e89c096a4f
Merge pull request #42 from aibaars/update-codeql-submodule
Update CodeQL submodule
2020-10-15 08:13:22 -07:00
Arthur Baars fd48ef4786 Update CodeQL submodule 2020-10-15 10:07:02 +02:00
Aditya Sharad 0186c5514e
Merge pull request #41 from igfoo/update-codeql-submodule
Update CodeQL submodule
2020-09-28 09:36:17 -07:00
Ian Lynagh 8897453642 Update CodeQL submodule 2020-09-28 14:43:08 +01:00
Andrew Eisenberg 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
Henning Makholm 4c4e41c030
Merge pull request #38 from jbj/update-codeql-submodule
Update CodeQL submodule
2020-08-21 19:25:24 +02:00
Jonas Jensen 3f739eb77f Update CodeQL submodule 2020-08-21 09:13:34 +02:00
Tom Hvitved 04d7ace3a0
Merge pull request #37 from tamasvajk/remove-noise
Turn off C# auto-compile
2020-07-31 10:26:58 +02:00
Andrew Eisenberg 01efb6f6a7 Remove unnecessary workspace setting 2020-07-30 06:52:42 -07:00
Tamas Vajk 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
Calum Grant c468efd1be Update CodeQL submodule 2020-07-16 15:26:27 -07:00
Aditya Sharad 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
Shati Patel dc623c408f
Fix small typo 2020-07-03 08:48:10 +01:00
Robert Marsh 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
Andrew Eisenberg 064b1d43fb
Add instructions on how to make a private fork 2020-06-29 22:15:26 -07:00
Robert Marsh 84308761b5
Merge pull request #30 from rdmarsh2/add-manifest
Add CodeQL manifest
2020-06-22 12:02:59 -07:00
Robert Marsh 0b178aff74 Add CodeQL manifest 2020-06-19 14:39:15 -07:00