Refactored method for loading rule tooltip images, new Equivalence sub category, adjacency generalization, updated quantifier parsing and split quantifier distribution #238
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Checks | |
on: [push, pull_request] | |
jobs: | |
test: | |
name: cargo test | |
runs-on: ubuntu-latest | |
steps: | |
- name: Pull source | |
uses: actions/checkout@v3 | |
- name: Update Rust | |
run: rustup update | |
- name: Run cargo test | |
run: cargo test | |
env: | |
# Deny compile warnings | |
RUSTFLAGS: -D warnings | |
fmt: | |
name: cargo fmt | |
runs-on: ubuntu-latest | |
steps: | |
- name: Pull source | |
uses: actions/checkout@v3 | |
- name: Update Rust | |
run: rustup update | |
- name: Run cargo fmt | |
run: cargo fmt --all -- --check | |
clippy: | |
name: cargo clippy | |
runs-on: ubuntu-latest | |
steps: | |
- name: Pull source | |
uses: actions/checkout@v3 | |
- name: Update Rust | |
run: rustup update | |
- name: Run cargo clippy | |
run: cargo clippy | |
env: | |
# Deny warnings | |
RUSTFLAGS: -D warnings |