Closed bgilbert closed 1 year ago
While we're here, deduplicate the separate CI jobs into one matrix job. I did that in the last commit so it can be dropped if desired.
Thanks, updated!
While we're here, deduplicate the separate CI jobs into one matrix job. I did that in the last commit so it can be dropped if desired.