Deploy the documentation

Merge branch 'release-v1.117' into develop #849

Sign in to view logs

Triggered via push October 8, 2024 15:35

develop

Status Success

Total duration 1m 39s

Artifacts –

docs.yaml

on: push

Calculate variables for GitHub Pages deployment