Lean 4 Playground

Error free! #82

Sign in to view logs

Triggered via push December 9, 2023 15:59

utensil

master

Status Failure

Total duration 1m 26s

Artifacts –

lean4.yml

on: push

Lean 4 Examples

Annotations

1 error

Lean 4 Examples

Process completed with exit code 1.