docker-ci-for-pr

Fixes to opentheory build #379

Sign in to view logs

Re-run triggered September 21, 2024 09:17

binghe

#1304

digama0:otfix

Status Success

Total duration 1h 52m 59s

Artifacts –

docker-ci-for-pr.yml

on: pull_request