Closed tompollard closed 2 years ago
Minor change to reference the (new) main branch, rather than master, in the github workflow.
Minor change to reference the (new) main branch, rather than master, in the github workflow.