CI

Shorten some proofs #623

Sign in to view logs

Triggered via push January 3, 2025 23:05

tomaz1502

feat/rat-lemmas

Status Failure

Total duration 7m 16s

Artifacts –

ci.yml

on: push

Matrix: build

Annotations

3 errors

Linux-x86_64

lake test failed

Linux-x86_64

Process completed with exit code 3.

macOS-x86_64

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