Skip to content
CI

Lemmas about rational numbers #618

Sign in to view logs

Lemmas about rational numbers

Lemmas about rational numbers #618

Triggered via pull request January 3, 2025 21:07
@tomaz1502tomaz1502
synchronize #158
feat/rat-lemmas
Status Failure
Total duration 6m 44s
Artifacts –

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

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.