Skip to content

Merge remote-tracking branch 'upstream/master' #5

Merge remote-tracking branch 'upstream/master'

Merge remote-tracking branch 'upstream/master' #5

Workflow file for this run

name: MkDocs Publish
on:
push:
branches: [ master, main ]
workflow_dispatch:
permissions:
contents: write
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: mhausenblas/[email protected]
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
CUSTOM_DOMAIN: wiki.tudalgo.org