Karl/homepage
1
0
Fork 0
mirror of https://github.com/karl0ss/homepage.git synced 2025-07-03 14:39:08 +01:00
Code Issues Packages Projects Releases Wiki Activity

update build for insiders

Browse Source
This commit is contained in:
Ben Phelps 2023-09-30 15:06:56 +03:00
parent 86d3fc4fbb
commit 7a6470381b
No known key found for this signature in database
GPG Key ID: C992688DACB97182
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.github/workflows/docs-publish.yml vendored
View File

@ -5,7 +5,7 @@ on:
tags: [ 'v*.*.*' ] tags: [ 'v*.*.*' ]
branches: ['main'] branches: ['main']
workflow_dispatch: workflow_dispatch:
permissions: permissions:
contents: write contents: write
@ -26,7 +26,7 @@ jobs:
path: .cache path: .cache
restore-keys: | restore-keys: |
mkdocs-material- mkdocs-material-
- run: sudo apt-get install pngquant - run: sudo apt-get install pngquant
- run: pip install mike - run: pip install mike
- run: pip install git+https://${GH_TOKEN}@github.com/benphelps/mkdocs-material-insiders.git - run: pip install git+https://${GH_TOKEN}@github.com/benphelps/mkdocs-material-insiders.git
- name: Set Git config - name: Set Git config
@ -41,9 +41,9 @@ jobs:
git checkout main git checkout main
- name: Mike Deploy for Main - name: Mike Deploy for Main
if: github.ref == 'refs/heads/main' if: github.ref == 'refs/heads/main'
run: mike deploy --update --push ${{github.ref_name}} run: MKINSIDERS=true mike deploy --update --push ${{github.ref_name}}
- name: Mike Deploy for Tags - name: Mike Deploy for Tags
if: github.ref != 'refs/heads/main' if: github.ref != 'refs/heads/main'
run: mike deploy --update --push ${{github.ref_name}} latest run: MKINSIDERS=true mike deploy --update --push ${{github.ref_name}} latest
env: env:
GH_TOKEN: ${{ secrets.GH_TOKEN }} GH_TOKEN: ${{ secrets.GH_TOKEN }}