Skip to content
continuous integration

Update lean-toolchain #24

Sign in to view logs

Update lean-toolchain

Update lean-toolchain #24

Triggered via pull request April 25, 2024 23:18
@alexjbestalexjbest
opened #9
alexjbest-patch-1
Status Failure
Total duration 34s
Artifacts –

ci.yml

on: pull_request
test
25s
test
Fit to window
Zoom out
Zoom in

Annotations

1 error
test
Process completed with exit code 1.