Build

Abstraction refinement of ReadWord #1991

Triggered via pull request September 6, 2023 14:39

msooseth

synchronize #362

abstraction-refinement2

Status Success

Total duration 41m 45s

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.6 MB
hevm-x86_64-macos Expired	17.4 MB