fixes for leanprover/lean4#6039 #614

Sign in to view logs

Triggered via push November 12, 2024 02:02

kim-em

lean-pr-testing-6039

Status Failure

Total duration 2m 21s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

2 errors

build (ubuntu-latest)

lake test failed

build (ubuntu-latest)

Process completed with exit code 1.