Build Aeneas user docs and test them

Merge pull request #285 from RaitoBezarius/aeneas-docs #5

Sign in to view logs

Re-run triggered July 16, 2024 13:34

Nadrieril

main

Status Success

Total duration 18s

Artifacts –

build-userdocs.yml

on: push

Test Aeneas user docs