CI: fix the workflow file (an empty env block made it invalid) (#1877)
Co-authored-by: Claude Opus 5.5 <[email protected]>
This commit is contained in:
1 parent
81ac571fa2
commit
f1183bcd21
1 file changed
-7
@@ -134,10 +134,7 @@ jobs:
|
|||||||
name: Native Linux Clippy
|
name: Native Linux Clippy
|
||||||
needs: changes
|
needs: changes
|
||||||
if: needs.changes.outputs.native == 'true'
|
if: needs.changes.outputs.native == 'true'
|
||||||
# Main and merge-queue runs use the self-hosted runner (warm build cache); pull requests
|
|
||||||
# stay on GitHub's runners, and the runner itself refuses pull-request jobs.
|
|
||||||
runs-on: ubuntu-24.04
|
runs-on: ubuntu-24.04
|
||||||
env:
|
|
||||||
timeout-minutes: 30
|
timeout-minutes: 30
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
|
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
|
||||||
@@ -161,8 +158,6 @@ jobs:
|
|||||||
name: Build tests
|
name: Build tests
|
||||||
needs: changes
|
needs: changes
|
||||||
if: needs.changes.outputs.native == 'true'
|
if: needs.changes.outputs.native == 'true'
|
||||||
# Main and merge-queue runs use the self-hosted runner (warm build cache); pull requests
|
|
||||||
# stay on GitHub's runners, and the runner itself refuses pull-request jobs.
|
|
||||||
runs-on: ubuntu-24.04
|
runs-on: ubuntu-24.04
|
||||||
timeout-minutes: 45
|
timeout-minutes: 45
|
||||||
env:
|
env:
|
||||||
@@ -361,8 +356,6 @@ jobs:
|
|||||||
name: Doc tests
|
name: Doc tests
|
||||||
needs: changes
|
needs: changes
|
||||||
if: needs.changes.outputs.native == 'true'
|
if: needs.changes.outputs.native == 'true'
|
||||||
# Main and merge-queue runs use the self-hosted runner (warm build cache); pull requests
|
|
||||||
# stay on GitHub's runners, and the runner itself refuses pull-request jobs.
|
|
||||||
runs-on: ubuntu-24.04
|
runs-on: ubuntu-24.04
|
||||||
timeout-minutes: 45
|
timeout-minutes: 45
|
||||||
env:
|
env:
|
||||||
|
|||||||
Reference in new issue
Block a user