head reduction is substitutive (Lemma 8.3.12) #96
Triggered via pull request
October 6, 2023 01:41
binghe
Status
Failure
Total duration
1h 23m 39s
Artifacts
–
docker-ci-for-pr.yml
on: pull_request
build-stdknl
40m 36s
build-expk
1h 23m
Annotations
1 error
|
build-stdknl
buildx failed with: ERROR: failed to solve: process "/bin/sh -c bin/build ${BUILDOPTS}" did not complete successfully: exit code: 1
|