From f5ce71821497d6d431580f20c23b8c8a0b998624 Mon Sep 17 00:00:00 2001
From: Ardis Lu <ardisglu@gmail.com>
Date: Sun, 23 Oct 2022 19:34:52 -0700
Subject: [PATCH] Change job runner to Ubuntu

It's cheaper and PowerShell is also pre-installed on Ubuntu
---
 .github/workflows/make-docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/make-docs.yml b/.github/workflows/make-docs.yml
index 99ff5e9..c79a3f1 100644
--- a/.github/workflows/make-docs.yml
+++ b/.github/workflows/make-docs.yml
@@ -11,7 +11,7 @@ on:
 
 jobs:
   make-docs:
-    runs-on: windows-latest
+    runs-on: ubuntu-latest
     steps:
       - name: Checkout repository
         uses: actions/checkout@v2
-- 
2.47.3