Bi-abduction working #834

Sign in to view logs

Re-run triggered July 25, 2023 16:17

giltho

#260

nat/collections-c-bi

Status Failure

Total duration 5m 37s

Artifacts –

ci.yml

on: pull_request

Matrix: build

Matrix: collections-c

Matrix: gillian_c_tests

Matrix: gillian_js_tests

Matrix: test262

Annotations

3 errors

build (ubuntu-latest)

Process completed with exit code 1.

build (macos-latest)

Process completed with exit code 1.

test-docker

buildx failed with: ERROR: failed to solve: process "/bin/sh -c esy install" did not complete successfully: exit code: 1