docker-ci-for-pr

Monoid theory moved from examples/algebra to src/algebra (core library) #244

Sign in to view logs

Triggered via pull request April 21, 2024 18:19

binghe

synchronize #1224

binghe:monoidTheory

Status Success

Total duration 1h 5m 42s

Artifacts –

docker-ci-for-pr.yml

on: pull_request