Skip to content

Merge branch 'pub' of github.com:vladkorotnev/plasma-clock into pub #1

Merge branch 'pub' of github.com:vladkorotnev/plasma-clock into pub

Merge branch 'pub' of github.com:vladkorotnev/plasma-clock into pub #1

Workflow file for this run

name: Publish web
# Thanks to github's weird limitations on which branches and/or folders are usable for the pages,
# we need this workaround for `./webroot` to be the actual web root of the project
on:
push:
branches: ['pub']
jobs:
publish:
permissions:
contents: write
runs-on: ubuntu-latest
name: Publish web pages
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
fetch-depth: 0
submodules: recursive
- name: Publish webroot via GitHub Pages
uses: rayluo/[email protected]
with:
source-directory: webroot
target-branch: gh-pages