Build

Abstraction refinement of ReadWord #1974

Triggered via pull request August 30, 2023 15:37

msooseth

synchronize #362

abstraction-refinement2

Status Success

Total duration 25m 10s

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