Fix ReadTheDocs config.

build.os is a required field, see docs: https://docs.readthedocs.io/en/stable/config-file/v2.html#build-os PiperOrigin-RevId: 458465958 Change-Id: I24889d32996328290c2f470c4f2a593fa89a637d
2022-07-01 07:30:26 -07:00
parent 2b319c81bc
commit b1e185bb9e
1 changed files with 1 additions and 0 deletions
@@ -4,6 +4,7 @@
 version: 2

 build:
+  os: ubuntu-20.04
  tools:
    python: "3.10"