Commit d1cc897
github: run (tenateively) every 10 minutes
The workflow takes longer than 5 minutes, github is already scheduling
us way less often than that, no sense trying to push for 5, let's go
down to 10 minutes and see if we can get more consistent runs.
Signed-off-by: Fabio Baltieri <fabiobaltieri@google.com>1 parent 6ffbdea commit d1cc897
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
5 | | - | |
| 5 | + | |
6 | 6 | | |
7 | 7 | | |
8 | 8 | | |
| |||
0 commit comments