From: Ardis Lu <ardisglu@gmail.com>
Date: Mon, 24 Oct 2022 02:34:52 +0000 (-0700)
Subject: Change job runner to Ubuntu
X-Git-Url: https://git.ardis.lu/?a=commitdiff_plain;h=f5ce71821497d6d431580f20c23b8c8a0b998624;p=ArdisUtilities

Change job runner to Ubuntu

It's cheaper and PowerShell is also pre-installed on Ubuntu
---

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