chore(deps): Update Antora to 3.1.2 (#1575)

Signed-off-by: Charith Ellawala <charith@cerbos.dev>
cerbos · May 11, 2023 · 1b30b4c · 1b30b4c
1 parent 7870db5
commit 1b30b4c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/actions/antora-docs/action.yaml b/.github/actions/antora-docs/action.yaml
@@ -3,7 +3,7 @@ name: 'antora-docs'
 description: 'Build the docs using Antora'
 runs:
   using: 'docker'
-  image: 'docker://docker.io/antora/antora:3.0.1'
+  image: 'docker://docker.io/antora/antora:3.1.2'
   args:
     - 'antora'
     - '--stacktrace'

diff --git a/docs/build.sh b/docs/build.sh
@@ -7,7 +7,7 @@ set -euo pipefail
 SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 SOURCE_DIR=$(cd "${SCRIPT_DIR}/.." && pwd)
 WORKSPACE="/github/workspace"
-ANTORA_VERSION=${ANTORA_VERSION:-"3.0.1"}
+ANTORA_VERSION=${ANTORA_VERSION:-"3.1.2"}
 
 rm -rf "${SCRIPT_DIR}/build"
 docker run -v "$SOURCE_DIR":"$WORKSPACE":Z --rm -t "docker.io/antora/antora:${ANTORA_VERSION}" antora --stacktrace --clean "${WORKSPACE}/docs/antora-playbook.yml"