Build

Fixing error call -- should have been `internalError` #1990

Triggered via pull request September 6, 2023 13:51

msooseth

opened #373

fix-error-call

Status Success

Total duration 48m 28s

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