We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 24e0a87 commit d3013f0Copy full SHA for d3013f0
.github/workflows/checks.yml
@@ -1,5 +1,5 @@
1
name: Checks
2
-run-name: Code checks for ${{ github.ref_name }}
+run-name: Code checks for '${{ github.ref_name }}'
3
4
# General comment:
5
# Coverity doesn't support merging or including reports from multible machine/platforms (at least not officially).
@@ -11,7 +11,11 @@ run-name: Code checks for ${{ github.ref_name }}
11
# that are done *on the same host* machine.
12
13
on:
14
+ # On-demand run
15
workflow_dispatch:
16
+ # Weekly run
17
+ schedule:
18
+ - cron: '30 5 * * 0'
19
20
jobs:
21
coverity-windows:
0 commit comments