From b1e185bb9e055976a26370a7d818430904836676 Mon Sep 17 00:00:00 2001
From: Nimrod Gileadi <nimrod@google.com>
Date: Fri, 1 Jul 2022 07:30:26 -0700
Subject: [PATCH] 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
---
 .readthedocs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.readthedocs.yml b/.readthedocs.yml
index d9f08a27..e8e6f458 100644
--- a/.readthedocs.yml
+++ b/.readthedocs.yml
@@ -4,6 +4,7 @@
 version: 2
 
 build:
+  os: ubuntu-20.04
   tools:
     python: "3.10"