Skip to content

Merge branch 'main' of https://github.com/Team334/R2024 #6

Merge branch 'main' of https://github.com/Team334/R2024

Merge branch 'main' of https://github.com/Team334/R2024 #6

Workflow file for this run

name: Wpiformat
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
wpiformat:
name: "wpiformat"
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Fetch all history and metadata
run: |
git checkout -b pr
git branch -f main origin/main;
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: 3.8
- name: Install wpiformat
run: pip install wpiformat==2024.31
- name: Run
run: wpiformat
- name: Check output
run: git --no-pager diff --exit-code HEAD