Skip to content

Ignore unknown fields (#108) #250

Ignore unknown fields (#108)

Ignore unknown fields (#108) #250

Workflow file for this run

name: Rust CI
on:
workflow_call:
workflow_dispatch:
pull_request:
push:
branches:
- main
jobs:
check_fmt:
name: Check Formatting
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: true
- uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: stable
components: rustfmt
override: true
- name: Check Formatting
run: cargo fmt --check
working-directory: tools/compiler
lint:
name: Lint with Clippy
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
submodules: true
- uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: stable
components: clippy
override: true
- name: Run Clippy on tests
run: cargo clippy --tests -- -D warnings
working-directory: tools/compiler
test:
name: Run Tests
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
submodules: true
- uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: stable
override: true
- name: Run Tests
run: cargo test
working-directory: tools/compiler
execute_and_check:
name: Generate registry and Check for Diffs
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
submodules: true
- uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: stable
override: true
- name: Generate registry
run: cargo run
env:
RUST_LOG: info
working-directory: tools/compiler
- name: Check for Uncommitted Changes
shell: bash
run: |
s="$(git status --porcelain)"
if [[ -n "$s" ]]; then
>&2 echo "ERROR: run tools/compiler to generate new outputs"
echo "$s"
exit 1
else
echo "OK: no changes required to registry outputs"
fi