about summary refs log tree commit diff
path: root/src/doc/rustc-dev-guide
diff options
context:
space:
mode:
authorJakub Beránek <berykubik@gmail.com>2025-02-01 15:52:25 +0100
committerGitHub <noreply@github.com>2025-02-01 15:52:25 +0100
commit50fadea081fcefd3acd70e9c23ad192d711e46f0 (patch)
tree286e27c68b534861498d3f236d8a286f5244580b /src/doc/rustc-dev-guide
parentbe412df9cb738b68025ff4eb37e64a68ad362d51 (diff)
parent97edb7a7c2f93451b2b6efa18b630117cce17847 (diff)
downloadrust-50fadea081fcefd3acd70e9c23ad192d711e46f0.tar.gz
rust-50fadea081fcefd3acd70e9c23ad192d711e46f0.zip
Merge pull request #2239 from Kobzol/ci-fix-2
Checkout repository sources in rustc-pull CI action
Diffstat (limited to 'src/doc/rustc-dev-guide')
-rw-r--r--src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
index 2a9f56fd650..5bfcf47d703 100644
--- a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
+++ b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
@@ -82,6 +82,7 @@ jobs:
     if: ${{ !cancelled() }}
     runs-on: ubuntu-latest
     steps:
+      - uses: actions/checkout@v4
       - name: Compute message
         id: create-message
         env: