Skip to content
CI

Provide a solver backend for lean-auto. #573

Sign in to view logs

Provide a solver backend for lean-auto.

Provide a solver backend for lean-auto. #573

Triggered via pull request November 24, 2024 04:33
@abdoo8080abdoo8080
opened #150
abdoo8080:auto2
Status Failure
Total duration 2m 37s
Artifacts –

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 errors
macOS-aarch64
lake build failed
macOS-aarch64
Process completed with exit code 1.
macOS-x86_64
The job was canceled because "macOS-aarch64_macos-lates" failed.
Linux-x86_64
The job was canceled because "macOS-aarch64_macos-lates" failed.