Migrate to the GitHub Actions.

Replace pip with pipenv
2025-05-31 14:11:48 +05:30 · 2021-03-13 00:02:42 +01:00
parent b40d38a91e
commit bc43bce964
5 changed files with 484 additions and 23 deletions
--- a/14
+++ b/14
@@ -0,0 +1,14 @@
+[[source]]
+url = "https://pypi.org/simple"
+verify_ssl = true
+name = "pypi"
+
+[packages]
+sphinx-rtd-theme = "~=0.4.3"
+sphinx-autobuild = "~=0.7.1"
+Sphinx = "<4.0,>=3.0"
+
+[dev-packages]
+
+[requires]
+python_version = "3.9"