Merge branch 'post-04' into post-05

This commit is contained in:
Philipp Oppermann
2020-07-17 11:28:04 +02:00

View File

@@ -129,4 +129,3 @@ jobs:
uses: actions-rs/cargo@v1 uses: actions-rs/cargo@v1
with: with:
command: clippy command: clippy
args: -- -D warnings