Skip to content
Check whitespace

Add the Setoid-based Monoid on (List, [], _++_) (#2393) #2

Sign in to view logs

Add the Setoid-based Monoid on (List, [], _++_) (#2393)

Add the Setoid-based Monoid on (List, [], _++_) (#2393) #2

Triggered via push May 30, 2024 16:31
@jamesmckinnajamesmckinna
pushed 59d7b2e
master
Status Success
Total duration 18s
Artifacts –

whitespace.yml

on: push
check-whitespace
8s
check-whitespace
Fit to window
Zoom out
Zoom in