alex/agb
1
0
Fork 0
mirror of https://github.com/italicsjenga/agb.git synced 2024-12-23 08:11:33 +11:00
Code Issues Packages Projects Releases Wiki Activity

Schedule nightly run to be at 6:10 rather than 5:10

Browse source 
Occasionally, miri was't available yet. So we go with a 6:10 run to give it a chance to be installed.
This commit is contained in:
Gwilym Inzani 2023-06-25 16:07:59 +01:00 committed by GitHub
parent c3268e3de2
commit 938b052997
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/build-and-test.yml vendored
View file

@ -6,7 +6,7 @@ on:
pull_request:
branches: [ master ]
schedule:
- cron: '10 5 * * *'
- cron: '10 6 * * *'
env:
CARGO_TERM_COLOR: always