File tree 8 files changed +114
-64
lines changed 8 files changed +114
-64
lines changed Original file line number Diff line number Diff line change 1
1
block_labels = [" needs-decision" ]
2
2
delete_merged_branches = true
3
3
required_approvals = 1
4
- status = [" continuous-integration/travis-ci/push" ]
4
+ status = [
5
+ " ci (thumbv6m-none-eabi)" ,
6
+ " ci (thumbv7m-none-eabi)" ,
7
+ " clippy" ,
8
+ " rustfmt" ,
9
+ ]
Original file line number Diff line number Diff line change
1
+ on :
2
+ push :
3
+ branches : [ staging, trying, master ]
4
+ pull_request :
5
+
6
+ name : Continuous integration
7
+
8
+ jobs :
9
+ ci :
10
+ runs-on : ubuntu-latest
11
+ strategy :
12
+ matrix :
13
+ target :
14
+ - thumbv6m-none-eabi
15
+ - thumbv7m-none-eabi
16
+
17
+ steps :
18
+ - uses : actions/checkout@v2
19
+ - uses : actions-rs/toolchain@v1
20
+ with :
21
+ profile : minimal
22
+ toolchain : nightly
23
+ target : ${{ matrix.target }}
24
+ override : true
25
+ - uses : actions-rs/cargo@v1
26
+ with :
27
+ command : check
28
+ args : --target=${{ matrix.target }} --examples
Original file line number Diff line number Diff line change
1
+ on :
2
+ push :
3
+ branches : [ staging, trying, master ]
4
+ pull_request :
5
+
6
+ name : Clippy check
7
+
8
+ jobs :
9
+ clippy :
10
+ runs-on : ubuntu-latest
11
+ steps :
12
+ - uses : actions/checkout@v2
13
+ if : github.event_name == 'pull_request_target'
14
+ with :
15
+ ref : refs/pull/${{ github.event.number }}/head
16
+ - uses : actions/checkout@v2
17
+ if : github.event_name != 'pull_request_target'
18
+ - uses : actions-rs/toolchain@v1
19
+ with :
20
+ profile : minimal
21
+ toolchain : nightly
22
+ override : true
23
+ components : clippy
24
+ - uses : actions-rs/clippy-check@v1
25
+ with :
26
+ token : ${{ secrets.GITHUB_TOKEN }}
Original file line number Diff line number Diff line change
1
+ on :
2
+ schedule :
3
+ # Run every week at 8am UTC Saturday.
4
+ - cron : ' 0 8 * * SAT'
5
+
6
+ name : Cron CI
7
+
8
+ jobs :
9
+ ci-cron :
10
+ runs-on : ubuntu-latest
11
+ steps :
12
+ - uses : actions/checkout@v2
13
+ - uses : actions-rs/toolchain@v1
14
+ with :
15
+ profile : minimal
16
+ toolchain : nightly
17
+ target : thumbv6m-none-eabi
18
+ override : true
19
+ - uses : actions-rs/cargo@v1
20
+ with :
21
+ command : check
22
+ args : --examples
23
+ - uses : imjohnbo/issue-bot@v2
24
+ if : failure()
25
+ with :
26
+ title : CI Failure
27
+ labels : ci
28
+ body : |
29
+ Scheduled CI run failed. Details:
30
+ https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}
31
+ env :
32
+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
Original file line number Diff line number Diff line change
1
+ on :
2
+ push :
3
+ branches : [ staging, trying, master ]
4
+ pull_request :
5
+
6
+ name : Code formatting check
7
+
8
+ jobs :
9
+ rustfmt :
10
+ runs-on : ubuntu-latest
11
+ steps :
12
+ - uses : actions/checkout@v2
13
+ - uses : actions-rs/toolchain@v1
14
+ with :
15
+ profile : minimal
16
+ toolchain : nightly
17
+ override : true
18
+ components : rustfmt
19
+ - uses : actions-rs/cargo@v1
20
+ with :
21
+ command : fmt
22
+ args : --all -- --check
Load Diff This file was deleted.
Load Diff This file was deleted.
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments