Merge pull request #1426 from tornaria/destdir #107

Sign in to view logs

Triggered via push September 28, 2023 20:38

fredrik-johansson

trunk

Status Success

Total duration 15m 37s

Artifacts –

docs.yml

on: push

Push documentation to website