tree 44a76ee0f87bcec7721dc3fa5de1a49a3d6e7243
parent 8778188bc3d4755499563aca618bf51f8f9f2444
author Nikias Bassen <nikias@gmx.li> 1667392202 +0100
committer Nikias Bassen <nikias@gmx.li> 1667392202 +0100

[github-actions] CodeQL: No need for scheduled run since it runs on every push