docker-ci-for-pr

Move `q_set` from real_sigmaTheory to the new real_of_ratTheory #234

Sign in to view logs

Triggered via pull request April 9, 2024 10:26

binghe

synchronize #1219

binghe:real_of_rat.q_set

Status Success

Total duration 1h 1m 29s

Artifacts –

docker-ci-for-pr.yml

on: pull_request