Lean Action CI

extra HasFwdFDeriv theorems #907

Sign in to view logs

Triggered via push April 3, 2025 21:16

lecopivo

blas

Status Failure

Total duration 20m 54s

Artifacts –

main.yml

on: push

Matrix: build

Annotations

3 errors

Linux-x86_64

Process completed with exit code 2.

macOS-x86_64

The job was canceled because "Linux-x86_64_ubuntu-lates" failed.

macOS-x86_64

The operation was canceled.