Skip to content

Commit 1505dd8

Browse files
author
The Miri Conjob Bot
committed
Merge from rustc
2 parents 17e17e1 + 12b75fe commit 1505dd8

File tree

1,355 files changed

+28649
-8943
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

1,355 files changed

+28649
-8943
lines changed

‎.github/workflows/ci.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ defaults:
3131
run:
3232
shell: bash
3333
concurrency:
34-
group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}"
34+
group: "${{ ((github.ref == 'refs/heads/try' || github.ref == 'refs/heads/try-perf') && github.sha) || github.ref }}"
3535
cancel-in-progress: true
3636
jobs:
3737
pr:

0 commit comments

Comments
 (0)