chore(docs): actually run the algolia index augmenter (#9377)

Don't worry, I'm a professional.
ibis-project · Jun 13, 2024 · 2861854 · 2861854
1 parent b5048b9
commit 2861854
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/upload-algolia-api.py b/.github/workflows/upload-algolia-api.py
@@ -91,3 +91,7 @@ def main():
     # record to the Algolia index.  If the object ID already exists, it gets
     # updated with the new fields in the record dict
     index.save_objects(records)
+
+
+if __name__ == "__main__":
+    main()