Merge pull request #847 from PrivateBin/patch-pipeline

Fix PHP8 pipeline
pull/848/head
El RIDO 2021-10-13 19:33:06 +02:00 committed by GitHub
commit 0fb104b102
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 3 deletions

View File

@ -12,10 +12,14 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Checkout php8 branch
run: git checkout php8
uses: actions/checkout@v2
with:
# directly checkout the php8 branch
ref: php8
# Number of commits to fetch. 0 indicates all history for all branches and tags.
# Default: 1
fetch-depth: 0
- name: Merge master changes into php8
run: git merge master