Build

Use Lean with built-in RPINF #767

Sign in to view logs

Triggered via push February 8, 2025 00:44

JLimperg

forward-code-rpinf-in-lean

Status Failure

Total duration 18s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

2 errors

build (ubuntu-latest)

lake build failed

build (ubuntu-latest)

Process completed with exit code 1.