Merge pull request #235 from MilesCranmer/multi-stage-docker 46fe8c1 unverified MilesCranmer commited on Nov 30, 2022
Merge pull request #228 from MilesCranmer/optimize=3 da0bef9 unverified MilesCranmer commited on Nov 22, 2022
Merge pull request #227 from MilesCranmer/backend-update c97f60d unverified MilesCranmer commited on Nov 21, 2022
Update backend version with improved resource monitoring b1f7afd MilesCranmer commited on Nov 21, 2022
Merge branch 'master' of ssh://ssh.github.com:443/MilesCranmer/PySR 3d686b6 MilesCranmer commited on Nov 15, 2022
Merge pull request #223 from MilesCranmer/clean-docker cbff360 unverified MilesCranmer commited on Nov 14, 2022