You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

14 lines
375 B

  1. # This is a dummy config file so that readthedocs.org doesn't fail on security branches.
  2. # Note that this won't result in docs actually getting built;
  3. # clicking on the docs preview link on a PR will result in a 404.
  4. version: 2
  5. formats: []
  6. sphinx:
  7. configuration: Doc/conf.py
  8. build:
  9. os: "ubuntu-22.04"
  10. tools:
  11. python: "3.11"
  12. jobs:
  13. post_checkout:
  14. - exit 183