ci

building ProofWidgets against leanprover/lean4#6571 #423

Sign in to view logs

Triggered via push January 8, 2025 04:50

kim-em

v0.0.51-pre1

Status Failure

Total duration 1m 25s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

3 errors

Build on Windows

Process completed with exit code 1.

Build on Ubuntu

The job was canceled because "Build_on_Windows_windows-" failed.

Build on Ubuntu

The operation was canceled.