Skip to content

cron

cron #421

Workflow file for this run

{
"jobs" : {
"batch_github_master" : {
"if" : "${{ github.ref == 'refs/heads/master' }}",
"runs-on" : "ubuntu-latest",
"steps" : [
{
"uses" : "actions/checkout@v2",
"with" : {
"token" : "${{ secrets.GH_ACCESS_TOKEN }}"
}
},
{
"run" : "git config --global user.email \u0022temp@github.test\u0022"
},
{
"run" : "git config --global user.name \u0022GitHub Actions\u0022"
},
{
"run" : "make deps"
},
{
"run" : "make updatenightly"
},
{
"run" : "git diff-index --quiet HEAD --cached || git commit -m auto"
},
{
"run" : "git push origin \u002B`git rev-parse HEAD`:refs/heads/nightly"
}
]
}
},
"name" : "cron",
"on" : {
"schedule" : [
{
"cron" : "40 13 * * *"
}
]
}
}