2023-06-25 16:52:48 +02:00
|
|
|
name: Check layouts
|
|
|
|
|
|
|
|
|
|
# Runs 'gen_layouts.py' and checks that the generated file were uptodate.
|
|
|
|
|
# This doesn't run 'check_layout.py'.
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
workflow_dispatch:
|
|
|
|
|
push:
|
|
|
|
|
pull_request:
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
check-layouts:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- name: Checkout repo
|
2024-02-07 00:01:54 +01:00
|
|
|
uses: actions/checkout@v4
|
2023-06-25 16:52:48 +02:00
|
|
|
- run: python3 gen_layouts.py
|
|
|
|
|
- name: Check that the generated layouts.xml is uptodate, run python3 gen_layouts.py otherwise
|
|
|
|
|
run: git diff --exit-code
|
