Skip to content

cron

cron #1141

batch_github_master

succeeded Mar 18, 2025 in 2m 47s
Set up job
0s
Run actions/checkout@v2
1s
Run git config --global user.name "GitHub Actions"
0s
Run git config --global user.email "temp@github.test"
0s
Run make deps
1m 17s
Run make updatenightly
1m 25s
Run git diff-index --quiet HEAD --cached || git commit -m auto
0s
Run git push origin +`git rev-parse HEAD`:refs/heads/nightly
1s
Post Run actions/checkout@v2
0s
Complete job
0s