docker-ci-for-pr

Add chunks_def to rich_listTheory #153

Sign in to view logs

Triggered via pull request January 19, 2024 07:27

xrchz

opened #1182

chunks

Status Success

Total duration 59m 54s

Artifacts –

docker-ci-for-pr.yml

on: pull_request