Skip to content
Lean Action CI

implemented ITree.bind #3

Sign in to view logs

implemented ITree.bind

implemented ITree.bind #3

Triggered via push November 1, 2024 23:52
@KiiyyaKiiyya
pushed c8fb7b5
itree
Status Success
Total duration 2m 57s
Billable time 3m
Artifacts –

lean_action_ci.yml

on: push
build
2m 47s
build
Fit to window
Zoom out
Zoom in