Skip to content
Back to pull request #1263

Adds mrec and interp combinators to itreeTauTheory #320

Sign in to view logs

Adds mrec and interp combinators to itreeTauTheory

Adds mrec and interp combinators to itreeTauTheory #320

Re-run triggered July 11, 2024 03:55
@mn200mn200
#1263
xdrr:develop
Status Failure
Total duration 1h 50m 52s
Artifacts –

docker-ci-for-pr.yml

on: pull_request
build-stdknl
1m 58s
build-stdknl
build-expk
2m 1s
build-expk
build-mosml
2m 17s
build-mosml
build-otknl
1h 50m
build-otknl
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-expk
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