diff --git a/.github/workflows/make_release.yml b/.github/workflows/make_release.yml index b98a331812..beac3e1dc5 100644 --- a/.github/workflows/make_release.yml +++ b/.github/workflows/make_release.yml @@ -78,6 +78,8 @@ jobs: - name: Extract boostorg/outcome ssh keys id: vars + env: + BOOSTORG_OUTCOME_DEPLOY_KEY: ${{ secrets.BOOSTORG_OUTCOME_DEPLOY_KEY }} shell: bash run: | if [ -n "$BOOSTORG_OUTCOME_DEPLOY_KEY" ] && [ "${{ steps.waitforstatuschecks.outputs.status }}" = "success" ]; then diff --git a/doc/html b/doc/html index da12a1fdff..5a8eb8967e 160000 --- a/doc/html +++ b/doc/html @@ -1 +1 @@ -Subproject commit da12a1fdffd68996b37f01621003aef87343a8da +Subproject commit 5a8eb8967e4901da3f9b636d4010850261087b49