File tree Expand file tree Collapse file tree 15 files changed +75
-0
lines changed Expand file tree Collapse file tree 15 files changed +75
-0
lines changed Original file line number Diff line number Diff line change 1818 RUSTFLAGS : " -Dwarnings"
1919 RUSTDOCFLAGS : " -Dwarnings"
2020
21+ # Cancels CI jobs when new commits are pushed to a PR branch
22+ concurrency :
23+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
24+ cancel-in-progress : true
25+
2126jobs :
2227 build :
2328 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1818 RUSTFLAGS : " -Dwarnings"
1919 RUSTDOCFLAGS : " -Dwarnings"
2020
21+ # Cancels CI jobs when new commits are pushed to a PR branch
22+ concurrency :
23+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
24+ cancel-in-progress : true
25+
2126jobs :
2227 build :
2328 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1818 RUSTFLAGS : " -Dwarnings"
1919 RUSTDOCFLAGS : " -Dwarnings"
2020
21+ # Cancels CI jobs when new commits are pushed to a PR branch
22+ concurrency :
23+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
24+ cancel-in-progress : true
25+
2126jobs :
2227 build :
2328 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1919 RUSTFLAGS : " -Dwarnings"
2020 RUSTDOCFLAGS : " -Dwarnings"
2121
22+ # Cancels CI jobs when new commits are pushed to a PR branch
23+ concurrency :
24+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
25+ cancel-in-progress : true
26+
2227jobs :
2328 build :
2429 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1818 RUSTFLAGS : " -Dwarnings"
1919 RUSTDOCFLAGS : " -Dwarnings"
2020
21+ # Cancels CI jobs when new commits are pushed to a PR branch
22+ concurrency :
23+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
24+ cancel-in-progress : true
25+
2126jobs :
2227 build :
2328 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1919 RUSTFLAGS : " -Dwarnings"
2020 RUSTDOCFLAGS : " -Dwarnings"
2121
22+ # Cancels CI jobs when new commits are pushed to a PR branch
23+ concurrency :
24+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
25+ cancel-in-progress : true
26+
2227jobs :
2328 build :
2429 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1818 RUSTFLAGS : " -Dwarnings"
1919 RUSTDOCFLAGS : " -Dwarnings"
2020
21+ # Cancels CI jobs when new commits are pushed to a PR branch
22+ concurrency :
23+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
24+ cancel-in-progress : true
25+
2126jobs :
2227 build :
2328 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1818 RUSTFLAGS : " -Dwarnings"
1919 RUSTDOCFLAGS : " -Dwarnings"
2020
21+ # Cancels CI jobs when new commits are pushed to a PR branch
22+ concurrency :
23+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
24+ cancel-in-progress : true
25+
2126jobs :
2227 build :
2328 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1919 RUSTFLAGS : " -Dwarnings"
2020 RUSTDOCFLAGS : " -Dwarnings"
2121
22+ # Cancels CI jobs when new commits are pushed to a PR branch
23+ concurrency :
24+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
25+ cancel-in-progress : true
26+
2227jobs :
2328 build :
2429 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1919 RUSTFLAGS : " -Dwarnings"
2020 RUSTDOCFLAGS : " -Dwarnings"
2121
22+ # Cancels CI jobs when new commits are pushed to a PR branch
23+ concurrency :
24+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
25+ cancel-in-progress : true
26+
2227jobs :
2328 build :
2429 runs-on : ubuntu-latest
You can’t perform that action at this time.
0 commit comments