Merge branch 'master' into fix-issue-1117

This commit is contained in:
dm-2 2022-07-06 16:32:02 +01:00 committed by GitHub
commit f35bfd3997
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,6 +2,7 @@ name: "CodeQL analysis"
on:
push:
pull_request:
schedule:
- cron: '0 0 * * 0'