Skip to content
Nix Build

Get rid of 'VoidMsg' in favor of an 'Option'. #1071

Sign in to view logs

Get rid of 'VoidMsg' in favor of an 'Option'.

Get rid of 'VoidMsg' in favor of an 'Option'. #1071

Triggered via push January 4, 2024 21:09
@MicroProofsMicroProofs
pushed 30a6b77
continue-improving-expect
Status Success
Total duration 12m 16s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

nix.yml

on: push
nix-build
12m 6s
nix-build
Fit to window
Zoom out
Zoom in