Skip to content
Back to pull request #2393

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

Sign in to view logs

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

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

Triggered via pull request May 30, 2024 13:33
@jamesmckinnajamesmckinna
synchronize #2393
jamesmckinna:list-setoid
Status Success
Total duration 34m 13s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-stdlib
34m 1s
test-stdlib
Fit to window
Zoom out
Zoom in