Build and publish a release

Fix release CI (#353) #13

Sign in to view logs

Triggered via push February 11, 2025 20:59

9999years

main

Status Success

Total duration 40s

Artifacts –

pages.yaml

on: push

Publish user manual to GitHub Pages