Skip to content

Enable let expressions with weakly pure subexpressions #4206

Enable let expressions with weakly pure subexpressions

Enable let expressions with weakly pure subexpressions #4206

Re-run triggered September 21, 2023 18:38
Status Failure
Total duration 39m 27s
Artifacts 1

test.yml

on: pull_request
build-test-deploy-container
39m 14s
build-test-deploy-container
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build-test-deploy-container: .github/workflows/test.yml#L1
Z3 used up to 6.30065GB of RAM
build-test-deploy-container
Process completed with exit code 1.
build-test-deploy-container
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
pidstat.txt Expired
1.18 MB