File tree Expand file tree Collapse file tree 21 files changed +105
-0
lines changed Expand file tree Collapse file tree 21 files changed +105
-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 # Builds for no_std platforms
2227 build :
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 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 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
You can’t perform that action at this time.
0 commit comments