Skip to content

Merge branch 'master' of https://github.com/defold/doc #897

Merge branch 'master' of https://github.com/defold/doc

Merge branch 'master' of https://github.com/defold/doc #897

name: Trigger site rebuild
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps: [{
name: 'Repository dispatch',
uses: defold/[email protected],
with: {
repo: 'defold/defold.github.io',
token: '${{ secrets.SERVICES_GITHUB_TOKEN }}',
user: '[email protected]',
action: 'docs'
}
}]