Back to pull request #397

Added All and Any monoids #342

Sign in to view logs

Re-run triggered August 22, 2024 16:27

MaximilianAlgehed

#397

coot:coot/monoids

Status Success

Total duration 32s

Artifacts –

hugs-ci.yml

on: pull_request

Hugs-CI - Linux