Closed neilflood closed 1 year ago
Damn. I was hoping I had configured the PR stuff to test the RTD build as well. Looks like there is some other button I need to press. I might just merge, and see if it builds OK anyway.......
@gillins
Damn. I was hoping I had configured the PR stuff to test the RTD build as well. Looks like there is some other button I need to press. I might just merge, and see if it builds OK anyway.......
@gillins