docker-ci-for-pr

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

Sign in to view logs

Triggered via pull request April 25, 2024 10:46

binghe

synchronize #1224

binghe:monoidTheory

Status Success

Total duration 1h 8m 47s

Artifacts –

docker-ci-for-pr.yml

on: pull_request