From 79859041a68b6b69e0b5ef0b5effff65f183ad7f Mon Sep 17 00:00:00 2001 From: Thibault Godouet Date: Wed, 30 Aug 2023 15:38:15 +0100 Subject: [PATCH] Add missing permission to publish doc. Also merged the build and publish doc into one job. --- .github/workflows/makefile.yml | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml index f83bab2..23e0fa1 100644 --- a/.github/workflows/makefile.yml +++ b/.github/workflows/makefile.yml @@ -6,8 +6,11 @@ on: pull_request: branches: [ "master" ] +permissions: + id-token: write + jobs: - build_doc: + build_and_publish_doc: runs-on: ubuntu-latest @@ -36,11 +39,6 @@ jobs: # Duration after which artifact will expire in days. retention-days: 7 # optional, default is 1 - deploy_doc: - - runs-on: ubuntu-latest - - steps: - name: Deploy GitHub Pages site uses: actions/deploy-pages@v1.2.9 #with: -- 2.47.3