Skip to content
Draft CI

Split out Result and ExecResult types, replace Either[String, T] with Result #1114

Sign in to view logs

Split out Result and ExecResult types, replace Either[String, T] with Result

Split out Result and ExecResult types, replace Either[String, T] with Result #1114

Triggered via pull request February 11, 2025 07:04
@lihaoyilihaoyi
synchronize #4528
Status Success
Total duration 11s
Artifacts –

draft-ci.yml

on: pull_request_target
run
2s
run
Fit to window
Zoom out
Zoom in