fixes for leanprover/lean4#5749 #348

Sign in to view logs

Triggered via push October 21, 2024 02:35

kim-em

v0.0.44-pre5749

Status Failure

Total duration 1m 41s

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.