CI

Remove outdated import #593

Sign in to view logs

Re-run triggered December 17, 2024 16:40

tomaz1502

feat/rat-lemmas

Status Failure

Total duration 6m 16s

Artifacts –

ci.yml

on: push

Matrix: build

Annotations

4 errors

macOS-aarch64

lake build failed

macOS-aarch64

Process completed with exit code 1.

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.