wip: fake run

This commit is contained in:
Florian Duros 2024-07-02 11:21:17 +02:00
parent 8776371ed4
commit 83186c0403
No known key found for this signature in database
GPG Key ID: A5BBB4041B493F15

View File

@ -2,7 +2,7 @@ name: Deploy documentation
on: on:
push: push:
branches: [develop] branches: [florianduros/ci/mdbooks]
workflow_dispatch: {} workflow_dispatch: {}
permissions: permissions:
@ -103,13 +103,13 @@ jobs:
with: with:
path: ./book path: ./book
deploy: # deploy:
environment: # environment:
name: github-pages # name: github-pages
url: ${{ steps.deployment.outputs.page_url }} # url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest # runs-on: ubuntu-latest
needs: build # needs: build
steps: # steps:
- name: Deploy to GitHub Pages # - name: Deploy to GitHub Pages
id: deployment # id: deployment
uses: actions/deploy-pages@v4 # uses: actions/deploy-pages@v4