Skip to content
Check formatting

feat(ci): add Lean testing in the CI #1906

Sign in to view logs

feat(ci): add Lean testing in the CI

feat(ci): add Lean testing in the CI #1906

Re-run triggered January 29, 2025 19:02
@AlasdairAlasdair
#871
RaitoBezarius:lean-ci
Status Success
Total duration 1m 48s
Artifacts –

formatting.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in