File tree 4 files changed +32
-19
lines changed 4 files changed +32
-19
lines changed Original file line number Diff line number Diff line change 1
1
name : CI
2
- on :
3
- push :
4
- branches :
5
- - staging
6
- - trying
2
+ on : merge_group
7
3
8
4
jobs :
9
5
65
61
with :
66
62
components : rustfmt
67
63
- run : cargo fmt --all --check
64
+
65
+ # One job that "summarizes" the success state of this pipeline. This can then be added to branch
66
+ # protection, rather than having to add each job separately.
67
+ success :
68
+ name : Success
69
+ runs-on : ubuntu-latest
70
+ needs : [test, i686, no_std, fmt]
71
+ # Github branch protection is exceedingly silly and treats "jobs skipped because a dependency
72
+ # failed" as success. So we have to do some contortions to ensure the job fails if any of its
73
+ # dependencies fails.
74
+ if : always() # make sure this is never "skipped"
75
+ steps :
76
+ # Manually check the status of all dependencies. `if: failure()` does not work.
77
+ - name : check if any dependency failed
78
+ run : jq --exit-status 'all(.result == "success")' <<< '${{ toJson(needs) }}'
Original file line number Diff line number Diff line change 27
27
with :
28
28
components : rustfmt
29
29
- run : cargo fmt --all --check
30
+
31
+ # One job that "summarizes" the success state of this pipeline. This can then be added to branch
32
+ # protection, rather than having to add each job separately.
33
+ success :
34
+ name : Success
35
+ runs-on : ubuntu-latest
36
+ needs : [test, fmt]
37
+ # Github branch protection is exceedingly silly and treats "jobs skipped because a dependency
38
+ # failed" as success. So we have to do some contortions to ensure the job fails if any of its
39
+ # dependencies fails.
40
+ if : always() # make sure this is never "skipped"
41
+ steps :
42
+ # Manually check the status of all dependencies. `if: failure()` does not work.
43
+ - name : check if any dependency failed
44
+ run : jq --exit-status 'all(.result == "success")' <<< '${{ toJson(needs) }}'
Original file line number Diff line number Diff line change @@ -11,7 +11,7 @@ repository = "https://github.com/rust-num/num-bigint"
11
11
version = " 0.4.4"
12
12
readme = " README.md"
13
13
build = " build.rs"
14
- exclude = [" /bors.toml " , " / ci/*" , " /.github/*" ]
14
+ exclude = [" /ci/*" , " /.github/*" ]
15
15
edition = " 2018"
16
16
17
17
[features ]
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments