First merge #1

Merged
Jef Roosens merged 26 commits from dev into main 2023-05-17 23:33:39 +02:00
2 changed files with 2 additions and 0 deletions
Showing only changes of commit fd81b64262 - Show all commits

View file

@ -7,4 +7,5 @@ pipeline:
clippy: clippy:
image: 'rust:1.69' image: 'rust:1.69'
commands: commands:
- rustup component add clippy
- cargo clippy -- --no-deps -Dwarnings - cargo clippy -- --no-deps -Dwarnings

View file

@ -7,4 +7,5 @@ pipeline:
lint: lint:
image: 'rust:1.69' image: 'rust:1.69'
commands: commands:
- rustup component add rustfmt
- cargo fmt -- --check - cargo fmt -- --check