Skip to content
Check formatting

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

Sign in to view logs

feat(ci): add Lean testing in the CI

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

Re-run triggered January 30, 2025 11:29
@bacambacam
#871
RaitoBezarius:lean-ci
Status Success
Total duration 46s
Artifacts –

formatting.yml

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