Debug RTD build

pull/675/head
Steve Piercy 2024-07-01 18:23:50 -07:00
rodzic 9b601824ec
commit 29bba58da4
1 zmienionych plików z 1 dodań i 0 usunięć

Wyświetl plik

@ -29,6 +29,7 @@ build:
exit 183;
fi
- cd docs
- cat Makefile
- make rtd-pr-preview
python: