Skip to content
Lean Action CI

SimpleIter now works with new ITrees #10

Sign in to view logs

SimpleIter now works with new ITrees

SimpleIter now works with new ITrees #10

Triggered via push December 3, 2024 23:00
@KiiyyaKiiyya
pushed 40d34c6
dev
Status Failure
Total duration 1m 44s
Billable time 2m
Artifacts –

lean_action_ci.yml

on: push
build
1m 33s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
lake build failed
build
Process completed with exit code 1.