2023-04-30 09:01:03 -04:00
|
|
|
name: Check for ungenerated tables
|
|
|
|
|
|
|
|
# Build on every branch push, tag push, and pull request change:
|
|
|
|
on: [push, pull_request]
|
|
|
|
|
|
|
|
jobs:
|
2023-04-30 17:39:05 -04:00
|
|
|
check_tables:
|
|
|
|
name: Check tables
|
2024-10-13 19:25:45 -03:00
|
|
|
runs-on: ubuntu-20.04
|
2023-04-30 17:39:05 -04:00
|
|
|
|
|
|
|
steps:
|
|
|
|
- name: Checkout reposistory
|
2023-09-13 10:51:26 -03:00
|
|
|
uses: actions/checkout@v4
|
2023-04-30 17:39:05 -04:00
|
|
|
|
2023-05-04 14:29:20 -04:00
|
|
|
- name: Setup Rust toolchain
|
|
|
|
uses: actions-rs/toolchain@v1
|
|
|
|
with:
|
|
|
|
toolchain: stable
|
|
|
|
override: true
|
|
|
|
|
2023-05-02 19:06:06 -04:00
|
|
|
- name: clean tables
|
|
|
|
run: make -C tables -j $(nproc) distclean
|
2023-04-30 17:39:05 -04:00
|
|
|
|
|
|
|
- name: make tables
|
2023-05-02 19:06:06 -04:00
|
|
|
run: make -C tables -j $(nproc)
|
2023-04-30 17:39:05 -04:00
|
|
|
|
|
|
|
- name: Check if there are tables changes
|
|
|
|
id: tables_changes
|
|
|
|
uses: tj-actions/verify-changed-files@v14
|
|
|
|
|
|
|
|
- name: tables changes
|
|
|
|
if: steps.tables_changes.outputs.files_changed == 'true'
|
|
|
|
run: |
|
|
|
|
echo "Changed files: ${{ steps.tables_changes.outputs.changed_files }}"
|
2023-05-02 19:06:06 -04:00
|
|
|
echo "Please run \`make -C tables distclean && make -C tables tables\` and commit the result"
|
2023-04-30 09:21:15 -04:00
|
|
|
exit 1
|