Matthias, So we should Merge your PR into the code for our PR and then merge this into our PR? brett
On Thursday, July 6, 2023 at 9:12:36 PM UTC-4 brettpim wrote: > > Thanks Matthias! > brett > On Thursday, July 6, 2023 at 5:14:34 PM UTC-4 Matthias Koeppe wrote: > >> It's a bug in the CI script. Merge >> https://github.com/sagemath/sage/pull/35865, and it will work >> >> On Thursday, July 6, 2023 at 1:47:06 PM UTC-7 Aaron Dwyer wrote: >> >>> I am attempting to add a module to sage "covering_array.py" for an open >>> pull request. When building documentation on the pull request I get an >>> error >>> >>> "Warning: Could not import sage.combinat.designs.covering_array No >>> module named 'sage.combinat.designs.covering_array' >>> >>> although the file covering_array.py is in the sage/combinat/designs >>> folder. This error does not show up when I build documentation locally. >>> When run locally, the combinat section of the documentation is formatted >>> incorrectly however the text of the documentation in the covering_array.py >>> file does appear as expected. >>> >>> This error was not occurring in previous versions of the PR but I cannot >>> tell what changed that causes it, especially since the error message is not >>> telling me much. >>> >>> How would I fix or narrow down this error? Do I need to add a link to >>> the file elsewhere? >>> >>> Thanks >>> >>> >>> -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/146c8ddd-620b-4506-b57b-9a1bb7ad2347n%40googlegroups.com.