projects / nmigen.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 9928b60)
docs: fix CI workflow.
authorwhitequark <whitequark@whitequark.org>
Tue, 30 Jun 2020 22:28:12 +0000 (22:28 +0000)
committerwhitequark <whitequark@whitequark.org>
Tue, 30 Jun 2020 22:28:12 +0000 (22:28 +0000)
.github/workflows/main.yaml patch | blob | history

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 69dfbeb561b9449c7008c1e271bfc71fc77f1b83..4ef4ea1e4c166a20e05241aea98672122f7f0832 100644 (file)
--- 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