Skip to content
Build Wavelet

Tweak plot size #280

Sign in to view logs

Tweak plot size

Tweak plot size #280

Triggered via push March 28, 2026 21:15
@zhengyao-linzhengyao-lin
pushed 64ff93e
pldi-ae
Status Failure
Total duration 4s
Artifacts –

build.yml

on: push
integration-tests
3s
integration-tests
check-proofs
3s
check-proofs
Matrix: unit-tests
Fit to window
Zoom out
Zoom in

Annotations

5 errors
unit-tests (ubuntu-latest)
The job was not started because your account is locked due to a billing issue.
unit-tests (ubuntu-24.04-arm)
The strategy configuration was canceled because "unit-tests.ubuntu-latest" failed
check-proofs
The job was not started because your account is locked due to a billing issue.
unit-tests (macos-latest)
The strategy configuration was canceled because "unit-tests.ubuntu-latest" failed
integration-tests
The job was not started because your account is locked due to a billing issue.