Minor tweaks to hol-mode's configuration of comint #644
docker-ci.yml
on: push
build-stdknl
55m 56s
build-expk
56m 13s
build-mosml
41m 14s
build-otknl
1h 14m
Annotations
1 error
build-otknl
buildx failed with: ERROR: failed to solve: process "/bin/sh -c bin/build ${BUILDOPTS}" did not complete successfully: exit code: 1
|