Run checks

Support STP and Yices2 #1281

Sign in to view logs

Triggered via pull request December 14, 2023 22:58

gussmith23

synchronize #400

vcanumalla/support-stp

Status Failure

Total duration 2m 38s

Artifacts –

run-checks-github-runners.yml

on: pull_request

build-and-push-image

Annotations

1 error

build-and-push-image

buildx failed with: ERROR: failed to solve: process "/bin/sh -c raco make /root/lakeroad/bin/main.rkt" did not complete successfully: exit code: 1