Fix repl Holmakefile to run all tests; use diff -a · HOL-Theorem-Prover/HOL@8dd3e49

Triggered via push October 27, 2024 23:18

mn200

develop

Status Cancelled

Total duration 1h 42m 14s

Artifacts –

docker-ci.yml

on: push

5 errors

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

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

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

The run was canceled by @mn200.

The operation was canceled.