Build and publish a release

Release version 0.5.0 (#80) #7

Sign in to view logs

Triggered via push October 21, 2024 19:02

9999years

main

Status Success

Total duration 50s

Artifacts 1

pages.yaml

on: push

Build user manual

Deploy to GitHub Pages

Artifacts

Produced during runtime

Name	Size
github-pages Expired	1.17 MB