Skip to content
test

removes an overly restrictive violation in the channel encoding #4251

Sign in to view logs

removes an overly restrictive violation in the channel encoding

removes an overly restrictive violation in the channel encoding #4251

Triggered via push October 26, 2023 22:05
@ArquintLArquintL
pushed 6c2740c
weaker-channel-send-requirements
Status Failure
Total duration 38m 0s
Artifacts 1

test.yml

on: push
build-test-deploy-container
37m 49s
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.34394GB 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
778 KB