Skip to content
continuous integration

Update lean-toolchain #23

Sign in to view logs

Update lean-toolchain

Update lean-toolchain #23

Triggered via push April 25, 2024 23:18
@alexjbestalexjbest
pushed 7da67f7
alexjbest-patch-1
Status Failure
Total duration 28s
Artifacts –

ci.yml

on: push
test
19s
test
Fit to window
Zoom out
Zoom in

Annotations

1 error
test
Process completed with exit code 1.