Compare commits

..

No commits in common. "5619a99e1262a4e7ed285da43dbb229f4882909d" and "1681ad703470e784156ce3461d92d18492c5baef" have entirely different histories.

6 changed files with 14 additions and 14 deletions

View file

@ -17,7 +17,7 @@ jobs:
if: |
github.event.pull_request.merged == true && startsWith(github.event.label.name, 'backport-')
steps:
- uses: actions/checkout@v5
- uses: actions/checkout@v4
with:
ref: ${{ github.event.pull_request.head.sha }}
token: ${{ steps.app-token.outputs.token }}

View file

@ -21,7 +21,7 @@ jobs:
- nix
- maximal
steps:
- uses: actions/checkout@v5
- uses: actions/checkout@v4
name: Checkout
- name: Install Nix

View file

@ -17,7 +17,7 @@ jobs:
if: "!contains(github.event.pull_request.title, '[skip ci]')"
steps:
- name: Checkout
uses: actions/checkout@v5
uses: actions/checkout@v4
- name: Install Nix
uses: DeterminateSystems/nix-installer-action@main
@ -31,7 +31,7 @@ jobs:
if: "!contains(github.event.pull_request.title, '[skip ci]')"
steps:
- name: Checkout
uses: actions/checkout@v5
uses: actions/checkout@v4
- name: Install Nix
uses: DeterminateSystems/nix-installer-action@main
@ -56,7 +56,7 @@ jobs:
if: "!contains(github.event.pull_request.title, '[skip ci]')"
steps:
- name: Checkout
uses: actions/checkout@v5
uses: actions/checkout@v4
- name: Check for typos
uses: crate-ci/typos@master
@ -87,7 +87,7 @@ jobs:
uses: DeterminateSystems/nix-installer-action@main
- name: Checkout
uses: actions/checkout@v5
uses: actions/checkout@v4
- name: Set default git branch (to reduce log spam)
run: git config --global init.defaultBranch main
@ -115,7 +115,7 @@ jobs:
uses: DeterminateSystems/nix-installer-action@main
- name: Checkout
uses: actions/checkout@v5
uses: actions/checkout@v4
- name: Build linkcheck package
run: nix build .#docs-linkcheck -Lv
@ -126,7 +126,7 @@ jobs:
if: "!contains(github.event.pull_request.title, '[skip ci]')"
steps:
- name: Checkout
uses: actions/checkout@v5
uses: actions/checkout@v4
with:
fetch-depth: 2 # slows down checkout, but we need to compare against the previous commit on push events

View file

@ -14,7 +14,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: "Checkout"
uses: actions/checkout@v5
uses: actions/checkout@v4
- name: "Delete old branches"
uses: beatlabs/delete-old-branches-action@v0.0.11

View file

@ -28,7 +28,7 @@ jobs:
uses: DeterminateSystems/nix-installer-action@main
- name: Checkout
uses: actions/checkout@v5
uses: actions/checkout@v4
- name: Set default git branch (to reduce log spam)
run: git config --global init.defaultBranch main
@ -127,7 +127,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v5
uses: actions/checkout@v4
- name: Delete preview for closed/merged PR
run: |
@ -164,7 +164,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v5
uses: actions/checkout@v4
- name: Double check preview directory deletion
run: |

View file

@ -28,7 +28,7 @@ jobs:
outputs:
should_run: ${{ steps.should_run.outputs.should_run }}
steps:
- uses: actions/checkout@v5
- uses: actions/checkout@v4.1.7
- name: print latest_commit
run: echo ${{ github.sha }}
@ -43,7 +43,7 @@ jobs:
if: ${{ needs.check_date.outputs.should_run != 'false' }}
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v5
- uses: actions/checkout@v4.1.7
- uses: DeterminateSystems/nix-installer-action@main
- run: |
nix build .#docs -Lv