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 2
2
pull_request : # Run CI for PRs on any branch
3
3
merge_group : # Run CI for the GitHub merge queue
4
4
workflow_dispatch : # Run CI when manually requested
5
+ schedule :
6
+ # Run every week at 8am UTC Saturday
7
+ - cron : ' 0 8 * * SAT'
5
8
6
9
name : Continuous integration
7
10
27
30
- run : cargo check --target=${{ matrix.target }} --example global_alloc
28
31
- if : ${{ matrix.toolchain == 'nightly' }}
29
32
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 }}
30
45
31
46
test :
32
47
runs-on : ubuntu-latest
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments