Skip to content

Commit

Permalink
ci: build gh-pages after Garnix (#15)
Browse files Browse the repository at this point in the history
  • Loading branch information
zimbatm authored Jul 21, 2023
1 parent 1ae967f commit 6642580
Showing 1 changed file with 6 additions and 10 deletions.
16 changes: 6 additions & 10 deletions .github/workflows/gh-pages.yml
Original file line number Diff line number Diff line change
@@ -1,12 +1,8 @@
# Build and deploy MkDocs to gh-pages for main branch
name: gh-pages
on:
push:
branches:
- main
- staging
- trying
pull_request:
check_suite:
types: [completed]
workflow_dispatch:

permissions:
Expand All @@ -18,10 +14,10 @@ jobs:
steps:
- uses: actions/checkout@v3
- uses: cachix/install-nix-action@v22
# - uses: cachix/cachix-action@v12
# with:
# name: numtide
# authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
with:
extra_nix_config: |
substituters = https://cache.garnix.io
trusted-public-keys = cache.garnix.io:CTFPyKSLcx5RMJKfLo5EEPUObbA78b0YQ2DTCJXqr9g=
- name: Build the docs
id: build
Expand Down

0 comments on commit 6642580

Please sign in to comment.