docker-ci-for-pr

Add a couple of sptree theorems #154

Sign in to view logs

Triggered via pull request January 19, 2024 10:06

xrchz

opened #1183

sptthms

Status Success

Total duration 1h 1m 13s

Artifacts –

docker-ci-for-pr.yml

on: pull_request