Build and publish a release

Don't restart for removed or renamed modules #195

Sign in to view logs

Triggered via pull request June 11, 2024 18:50

9999years

closed #290

rebeccat/dux-2336-remove-modules-instead-of-restarting-ghci

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

Publish user manual to GitHub Pages

Upload assets to release