|
|
@ -12,15 +12,19 @@ on: |
|
|
|
merge_group: |
|
|
|
merge_group: |
|
|
|
types: [checks_requested] |
|
|
|
types: [checks_requested] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
concurrency: |
|
|
|
|
|
|
|
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} |
|
|
|
|
|
|
|
cancel-in-progress: true |
|
|
|
|
|
|
|
|
|
|
|
env: |
|
|
|
env: |
|
|
|
RUSTFLAGS: ${{ github.ref == 'refs/heads/main' && '-D warnings' || '' }} |
|
|
|
RUSTFLAGS: ${{ (github.ref == 'refs/heads/main' || github.base_ref == 'main') && '-D warnings' || '' }} |
|
|
|
|
|
|
|
|
|
|
|
jobs: |
|
|
|
jobs: |
|
|
|
coverage: |
|
|
|
coverage: |
|
|
|
name: Coverage |
|
|
|
name: Coverage |
|
|
|
runs-on: ubuntu-latest |
|
|
|
runs-on: ubuntu-latest |
|
|
|
timeout-minutes: 60 |
|
|
|
timeout-minutes: 60 |
|
|
|
if: github.ref == 'refs/heads/main' |
|
|
|
if: ${{ github.ref == 'refs/heads/main' || github.base_ref == 'main' }} |
|
|
|
steps: |
|
|
|
steps: |
|
|
|
- name: Checkout repository |
|
|
|
- name: Checkout repository |
|
|
|
uses: actions/checkout@v4 |
|
|
|
uses: actions/checkout@v4 |
|
|
@ -152,7 +156,7 @@ jobs: |
|
|
|
runs-on: ubuntu-latest |
|
|
|
runs-on: ubuntu-latest |
|
|
|
timeout-minutes: 60 |
|
|
|
timeout-minutes: 60 |
|
|
|
env: |
|
|
|
env: |
|
|
|
RUSTDOCFLAGS: ${{ github.ref == 'refs/heads/main' && '-D warnings' || '' }} |
|
|
|
RUSTDOCFLAGS: ${{ (github.ref == 'refs/heads/main' || github.base_ref == 'main') && '-D warnings' || '' }} |
|
|
|
steps: |
|
|
|
steps: |
|
|
|
- name: Checkout repository |
|
|
|
- name: Checkout repository |
|
|
|
uses: actions/checkout@v4 |
|
|
|
uses: actions/checkout@v4 |
|
|
|