Build and publish a release

Fix GitHub Pages build #52

Sign in to view logs

Triggered via pull request October 21, 2024 18:35

9999years

closed #83

fix-user-manual

Status Skipped

Total duration 3s

Artifacts –

release.yaml

on: pull_request

Check that PR was merged and not closed

Matrix: Release Build

Get version number

Upload assets to release