Skip to content
Check formatting

Lean: add monad declaration in files without register use (#922) #1916

Sign in to view logs

Lean: add monad declaration in files without register use (#922)

Lean: add monad declaration in files without register use (#922) #1916

Triggered via push January 30, 2025 11:28
@bacambacam
pushed 4db7000
sail2
Status Success
Total duration 31s
Artifacts –

formatting.yml

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

Annotations

1 notice
759 tests found
There are 759 tests, see "Raw output" for the full list of tests.