Skip to content
Lint the sources

[ elab, minor ] Implement Functor for PiInfo #648

Sign in to view logs

[ elab, minor ] Implement Functor for PiInfo

[ elab, minor ] Implement Functor for PiInfo #648

Triggered via push June 27, 2024 13:28
@buzdenbuzden
pushed 9b12bd4
functor-piinfo
Status Success
Total duration 11s
Artifacts –

ci-lint.yml

on: push
build
4s
build
Fit to window
Zoom out
Zoom in