Skip to content

chore(deps): update dependency gradle to v8.11.1 (#310) #39

chore(deps): update dependency gradle to v8.11.1 (#310)

chore(deps): update dependency gradle to v8.11.1 (#310) #39

Workflow file for this run

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