Test Bitwuzla

Debug space #363

Sign in to view logs

Triggered via pull request October 23, 2024 21:45

filipeom

synchronize #238

debug-space

Status Failure

Total duration 4m 58s

Artifacts –

test-bitwuzla.yml

on: pull_request

Annotations

1 error and 1 warning

test-bitwuzla

Process completed with exit code 31.

test-bitwuzla

You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 81 MB