[CI] Fixup website build (#147)

This commit is contained in:
Philippe Tillet
2021-07-28 00:29:07 -07:00
committed by GitHub
parent 8ddf909093
commit 1365e96330

View File

@@ -12,8 +12,14 @@ jobs:
steps: steps:
- name: Checkout
uses: actions/checkout@v2 - name: Checkout gh-pages
uses: actions/checkout@v1
with:
ref: 'gh-pages'
- name: Checkout branch
uses: actions/checkout@v1
- name: Install Triton - name: Install Triton
run: | run: |