CI

Finish more rat lemmas #595

Sign in to view logs

Triggered via push December 19, 2024 01:35

tomaz1502

feat/rat-lemmas

Status Failure

Total duration 6m 28s

Artifacts –

ci.yml

on: push

Matrix: build

Annotations

4 errors

macOS-aarch64

lake test failed

macOS-aarch64

Process completed with exit code 3.

Linux-x86_64

The job was canceled because "macOS-aarch64_macos-lates" failed.

macOS-x86_64

The job was canceled because "macOS-aarch64_macos-lates" failed.