fixes for leanprover/lean4#5749 #347

Sign in to view logs

Triggered via push October 21, 2024 02:32

kim-em

lean-pr-testing-5749

Status Failure

Total duration 1m 37s

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.