Closed ericphanson closed 1 month ago
I didn't want to restart CI on #678 so I made a separate PR. I believe it will only build the docs here which is nice.
I didn't want to restart CI on #678 so I made a separate PR. I believe it will only build the docs here which is nice.