CI

feat: more useful Int/Rat lemmas #592

Sign in to view logs

Triggered via push December 17, 2024 16:20

tomaz1502

feat/rat-lemmas

Status Failure

Total duration 6m 59s

Artifacts –

ci.yml

on: push

Matrix: build

Annotations

4 errors

Linux-x86_64

lake build failed

Linux-x86_64

Process completed with exit code 1.

macOS-aarch64

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

macOS-x86_64

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