XhmikosR 0aaa893a1f Update CodeQL workflow ...

* bring in the latest upstream changes
* add `workflow_dispatch` so that the workflow can be triggered manually
* remove autobuild since we don't need to build anything
* reindent

2021-12-12 15:29:30 +02:00

..

ci.yml

Update CI config

2021-02-06 17:06:48 +02:00

codeql-analysis.yml

Update CodeQL workflow

2021-12-12 15:29:30 +02:00