Build

Simplify Props #1966

Re-run triggered August 28, 2023 09:03

msooseth

#363

propsimp

Status Success

Total duration 19m 0s

Artifacts 2

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

build.yml

on: pull_request

Matrix: extra-tests

Matrix: nix-build

Produced during runtime

Name	Size
hevm-x86_64-linux Expired	14.5 MB
hevm-x86_64-macos Expired	17.3 MB