Build and publish a release

Make GHCi output destination configurable #119

Sign in to view logs

Triggered via pull request December 7, 2023 17:37

evanrelf

closed #175

evan/writers

Status Skipped

Total duration 5s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

release.yaml

on: pull_request

Check that PR was merged and not closed

Matrix: Release Build

Get version number

Upload assets to release