Build and publish a release

Support GHC 9.10, 9.12 (#358) #16

Sign in to view logs

Triggered via push March 10, 2025 16:56

9999years

main

Status Success

Total duration 49s

Artifacts –

pages.yaml

on: push

Publish user manual to GitHub Pages