Build and publish a release

Fix GitHub Pages build #51

Sign in to view logs

Triggered via pull request October 21, 2024 18:20

9999years

closed #82

fix-user-manual

Status Skipped

Total duration 4s

Artifacts –

release.yaml

on: pull_request

Check that PR was merged and not closed

Matrix: Release Build

Get version number

Upload assets to release