Skip to content

Merge pull request #16 from ekharkunov/emscripten-update #12

Merge pull request #16 from ekharkunov/emscripten-update

Merge pull request #16 from ekharkunov/emscripten-update #12

name: Trigger site rebuild
on: [push]
jobs:
site-rebuild:
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: 'extension-poki-sdk'
}
}]