Martin Geisler 618d8fe4e9 Introduce a cargo clippy run ...

Personally, I don’t always agree with Clippy, but it a very widely
recommended tool for writing idiomatic Rust. So on balance, I think
it’s overall a good idea to enable it for both our exercises and our
tooling.

2024-07-22 15:02:35 +02:00

..

bin

Introduce a cargo clippy run

2024-07-22 15:02:35 +02:00

course.rs

Introduce a cargo clippy run

2024-07-22 15:02:35 +02:00

frontmatter.rs

Comment PRs with updated schedule information (#1576)

2024-01-12 15:53:09 +00:00

lib.rs

Comment PRs with updated schedule information (#1576)

2024-01-12 15:53:09 +00:00

markdown.rs

Introduce a cargo clippy run

2024-07-22 15:02:35 +02:00

replacements.rs

Introduce a cargo clippy run

2024-07-22 15:02:35 +02:00

timing_info.rs

Format all Markdown files with dprint (#1157)

2023-12-31 00:15:07 +01:00