CI

Rat.mul_lt_mul_left #596

Sign in to view logs

Triggered via push December 19, 2024 13:15

tomaz1502

feat/rat-lemmas

Status Failure

Total duration 5m 55s

Artifacts –

ci.yml

on: push

Matrix: build

Annotations

4 errors

macOS-aarch64

lake test failed

macOS-aarch64

Process completed with exit code 3.

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.