[hailtop.batch] add default_regions to hb.Batch, improve docs#14224
Merged
danking merged 7 commits intohail-is:mainfrom danking:batch-regionFeb 2, 2024
+203-44
Commits
Commits on Jan 30, 2024
- committedDan King
Commits on Jan 31, 2024
- committedDan King
Commits on Feb 1, 2024
- committedDan King
- committedDan King
- committedDan King
- committedDan King
- committedDan King