build

Move some functionality into interval from series and bottcher #94

Sign in to view logs

Triggered via push November 12, 2025 22:17

girving

broken

Status Failure

Total duration 4m 51s

Artifacts –

lean.yml

on: push

Annotations

2 errors

Process completed with exit code 1.

lake test failed