Skip to content
Build and publish a release

Fix publishing the user manual on GitHub Pages #178

Sign in to view logs

Fix publishing the user manual on GitHub Pages

Fix publishing the user manual on GitHub Pages #178

Triggered via pull request May 21, 2024 23:20
@9999years9999years
closed #276
rebeccat/fix-user-manual-build
Status Skipped
Total duration 4s
Artifacts –

release.yaml

on: pull_request
Check that PR was merged and not closed
0s
Check that PR was merged and not closed
Matrix: Release Build
Get version number
0s
Get version number
Publish user manual to GitHub Pages
0s
Publish user manual to GitHub Pages
Upload assets to release
0s
Upload assets to release
Fit to window
Zoom out
Zoom in