From d5c297aa94d2a23163ad03280134547610e2076a Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Tue, 30 Jun 2020 22:28:12 +0000
Subject: [PATCH] docs: fix CI workflow.

---
 .github/workflows/main.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 69dfbeb..4ef4ea1 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -2,7 +2,7 @@ on: push
 name: CI
 jobs:
   build:
-    if: github.event_name == 'push' && github.event.ref == 'refs/heads/doc'
+    if: github.event_name == 'push' && github.event.ref == 'refs/heads/master'
     runs-on: ubuntu-latest
     steps:
       - name: Check out source code
-- 
2.30.2