This repository has been archived on 2023-03-24. You can view files and clone it, but cannot push or open issues or pull requests.

wjwrh 1721ddc231 Fix the problem of different edition between rustc and rust-analyzer		2023-02-05 14:10:23 +08:00
..
exercise.rs	Fix the problem of different edition between rustc and rust-analyzer	2023-02-05 14:10:23 +08:00
main.rs	chore(watch): decrease watch delay	2023-01-04 04:49:51 -05:00
project.rs	Merge pull request #1316 from tklauser/fix-fn-typo	2023-01-03 14:19:17 +01:00
run.rs	Apply uninlined-format-args clippy lint	2022-10-12 16:43:07 -04:00
ui.rs	style: formatted files with rustfmt	2021-04-18 15:40:47 +02:00
verify.rs	fix(verify): progress bar proportion now updates with the number of files verified	2023-01-03 23:54:01 +09:30