Skip to content
This repository has been archived by the owner on Dec 12, 2024. It is now read-only.

Merge branch 'master' into Rewriting #17

Merge branch 'master' into Rewriting

Merge branch 'master' into Rewriting #17

name: Rust
on:
push:
branches: [ "Rewriting" ]
pull_request:
branches: [ "Rewriting" ]
env:
CARGO_TERM_COLOR: always
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Lint it
run: cargo clippy --no-deps --release