Skip to content
Nix Build

refactor: convert msgs to use AirMsg type instead of AirTree #1068

Sign in to view logs

refactor: convert msgs to use AirMsg type instead of AirTree

refactor: convert msgs to use AirMsg type instead of AirTree #1068

Triggered via push January 4, 2024 16:25
@MicroProofsMicroProofs
pushed 46d7797
add-better-expect-messages
Status Success
Total duration 12m 8s
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
11m 59s
nix-build
Fit to window
Zoom out
Zoom in