Skip to content
continuous integration

Update lean-toolchain #26

Sign in to view logs

Update lean-toolchain

Update lean-toolchain #26

Triggered via pull request April 25, 2024 23:26
@alexjbestalexjbest
synchronize #9
alexjbest-patch-1
Status Success
Total duration 35s
Artifacts –

ci.yml

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