File tree Expand file tree Collapse file tree 2 files changed +15
-26
lines changed Expand file tree Collapse file tree 2 files changed +15
-26
lines changed Original file line number Diff line number Diff line change 22 pull_request : # Run CI for PRs on any branch
33 merge_group : # Run CI for the GitHub merge queue
44 workflow_dispatch : # Run CI when manually requested
5+ schedule :
6+ # Run every week at 8am UTC Saturday
7+ - cron : ' 0 8 * * SAT'
58
69name : Continuous integration
710
2730 - run : cargo check --target=${{ matrix.target }} --example global_alloc
2831 - if : ${{ matrix.toolchain == 'nightly' }}
2932 run : cargo check --target=${{ matrix.target }} --examples --all-features
33+ - uses : imjohnbo/issue-bot@v3
34+ if : |
35+ failure()
36+ && github.event_name == 'schedule'
37+ with :
38+ title : CI Failure
39+ labels : ci
40+ body : |
41+ Scheduled CI run failed. Details:
42+ https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}
43+ env :
44+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
3045
3146 test :
3247 runs-on : ubuntu-latest
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments