File tree Expand file tree Collapse file tree 23 files changed +115
-0
lines changed Expand file tree Collapse file tree 23 files changed +115
-0
lines changed Original file line number Diff line number Diff line change 1717 CARGO_INCREMENTAL : 0
1818 RUSTFLAGS : " -Dwarnings"
1919
20+ # Cancels CI jobs when new commits are pushed to a PR branch
21+ concurrency :
22+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
23+ cancel-in-progress : true
24+
2025jobs :
2126 build :
2227 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1717 CARGO_INCREMENTAL : 0
1818 RUSTFLAGS : " -Dwarnings"
1919
20+ # Cancels CI jobs when new commits are pushed to a PR branch
21+ concurrency :
22+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
23+ cancel-in-progress : true
24+
2025jobs :
2126 build :
2227 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1717 CARGO_INCREMENTAL : 0
1818 RUSTFLAGS : " -Dwarnings"
1919
20+ # Cancels CI jobs when new commits are pushed to a PR branch
21+ concurrency :
22+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
23+ cancel-in-progress : true
24+
2025jobs :
2126 build :
2227 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 2121 CARGO_INCREMENTAL : 0
2222 RUSTFLAGS : " -Dwarnings"
2323
24+ # Cancels CI jobs when new commits are pushed to a PR branch
25+ concurrency :
26+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
27+ cancel-in-progress : true
28+
2429jobs :
2530 build :
2631 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 2121 CARGO_INCREMENTAL : 0
2222 RUSTFLAGS : " -Dwarnings"
2323
24+ # Cancels CI jobs when new commits are pushed to a PR branch
25+ concurrency :
26+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
27+ cancel-in-progress : true
28+
2429jobs :
2530 build :
2631 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1717 CARGO_INCREMENTAL : 0
1818 RUSTFLAGS : " -Dwarnings"
1919
20+ # Cancels CI jobs when new commits are pushed to a PR branch
21+ concurrency :
22+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
23+ cancel-in-progress : true
24+
2025jobs :
2126 build :
2227 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 2121 CARGO_INCREMENTAL : 0
2222 RUSTFLAGS : " -Dwarnings"
2323
24+ # Cancels CI jobs when new commits are pushed to a PR branch
25+ concurrency :
26+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
27+ cancel-in-progress : true
28+
2429jobs :
2530 build :
2631 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1919 CARGO_INCREMENTAL : 0
2020 RUSTFLAGS : " -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 2121 CARGO_INCREMENTAL : 0
2222 RUSTFLAGS : " -Dwarnings"
2323
24+ # Cancels CI jobs when new commits are pushed to a PR branch
25+ concurrency :
26+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
27+ cancel-in-progress : true
28+
2429jobs :
2530 build :
2631 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1818 CARGO_INCREMENTAL : 0
1919 RUSTFLAGS : " -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
You can’t perform that action at this time.
0 commit comments