Skip to content
Build vellvm

Patch up model_E1E2_23_orutt_strict for use with MemState_refine_prop #422

Sign in to view logs

Patch up model_E1E2_23_orutt_strict for use with MemState_refine_prop

Patch up model_E1E2_23_orutt_strict for use with MemState_refine_prop #422

Triggered via push May 31, 2023 14:07
@ChobbesChobbes
pushed 126cbc3
model-proof-test
Status Failure
Total duration 1m 54s
Artifacts –

test.yml

on: push
tests
1m 44s
tests
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
tests
Process completed with exit code 1.
tests
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2.5.0. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.