Skip to content

Adds mrec and interp combinators to itreeTauTheory #305

Adds mrec and interp combinators to itreeTauTheory

Adds mrec and interp combinators to itreeTauTheory #305

Re-run triggered July 1, 2024 01:08
Status Failure
Total duration 2h 3m 22s
Artifacts

docker-ci-for-pr.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build-stdknl
buildx failed with: ERROR: failed to solve: process "/bin/sh -c bin/build ${BUILDOPTS}" did not complete successfully: exit code: 1
build-mosml
buildx failed with: ERROR: failed to solve: process "/bin/sh -c bin/build ${BUILDOPTS}" did not complete successfully: exit code: 255
build-expk
buildx failed with: ERROR: failed to solve: process "/bin/sh -c bin/build ${BUILDOPTS}" did not complete successfully: exit code: 1