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 99ff5e94781cbfcd7a5c2d13c46a5e3de2e538cc..c79a3f166384011cbff66cf0511e92051eee410c 100644 (file)
--- 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