Skip to content

Update group and contacts #764

Update group and contacts

Update group and contacts #764

Workflow file for this run

name: Process Builder
# Reference documentation: https://docs.github.com/en/actions/reference
on: [push, pull_request]
jobs:
deploy:
runs-on: ubuntu-24.04
name: Build and deploy to gh-pages
if: ${{ github.repository == 'w3c/process' && github.event_name == 'push' }}
env:
GITHUB_TOKEN: ${{ secrets.W3CGRUNTBOT_TOKEN }}
GH_BRANCH: ${{ github.head_ref }}
GH_EVENT_NUMBER: ${{ github.event.number }}
steps:
- name: Checkout the repository
uses: actions/checkout@v4
- name: Setup python 3.12
uses: actions/setup-python@v5
with:
python-version: "3.12"
architecture: x64
- name: Install bikeshed
run: |
pip install bikeshed
bikeshed update
echo Bikeshed is ready
- name: invoke deploy.sh
run: ./deploy.sh
shell: bash
build:
runs-on: ubuntu-24.04
name: Check that the Process builds cleanly
if: ${{ github.repository != 'w3c/process' || github.event_name == 'pull_request' }}
steps:
- name: Checkout the repository
uses: actions/checkout@v4
- name: Setup python 3.12
uses: actions/setup-python@v5
with:
python-version: "3.12"
architecture: x64
- name: Install bikeshed
run: |
pip install bikeshed
bikeshed update
echo Bikeshed is ready
- name: invoke compile.sh
run: ./compile.sh
shell: bash