Build

Build Lean4monaco #30

Manually triggered August 23, 2024 21:04

joneugster

main

Status Failure

Total duration 3m 7s

Artifacts –

build.yml

on: workflow_dispatch

Matrix: build

6 errors and 2 warnings

'ev' is declared but its value is never read.

Process completed with exit code 1.

'ev' is declared but its value is never read.

Process completed with exit code 1.

'ev' is declared but its value is never read.

Process completed with exit code 1.

Cache save failed.

Cache save failed.