[doc] RTD config renamed to proper file ending. #1157
Merged
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Azure Pipelines / jpype.release
completed
Dec 3, 2023 in 0s
This check was skipped
No pipeline branch filters matched the modified branch.
Loading