Remove github pipeline

This commit is contained in:
Victor Mignot 2022-11-20 23:49:05 -05:00
parent 3bf5008e39
commit 14a6569cd8
No known key found for this signature in database
GPG key ID: FFE4EF056FB5E0D0

View file

@ -1,32 +0,0 @@
name: Code Quality
on:
pull_request:
branches: [ "main" ]
push:
branches: [ "main" ]
jobs:
code-check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Installing Rust toolchain
uses: actions-rs/toolchain@v1
with:
toolchain: stable
override: true
components: rustfmt, clippy
- name: Format
run: cargo fmt --check
- name: Lint
run: cargo clippy
- name: Tests
run: cargo test
- name: Build
run: cargo build --verbose