mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

have checkboxes only point to date-check lines in files (#1603) 

They currently also point to filenames, which is redundant.

current

- [ ] thir.md
  - [ ] line 7: 2022-04
  - [ ] line 60: 2022-08
- [ ] traits/chalk.md
  - [ ] line 4: 2022-05

proposed

- thir.md
  - [ ] line 7: 2022-04
  - [ ] line 60: 2022-08
- traits/chalk.md
  - [ ] line 4: 2022-05
This commit is contained in:
Tshepang Mbambo 2023-02-17 06:38:25 +02:00 committed by GitHub
parent 19f6cc82a5
commit 12f5d8d84f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ci/date-check/src/main.rs
View File

@ -170,7 +170,7 @@ fn main() {
for (path, dates) in dates_by_file { for (path, dates) in dates_by_file {
println!( println!(
"- [ ] {}", "- {}",
path.strip_prefix(&root_dir_path).unwrap_or(&path).display(), path.strip_prefix(&root_dir_path).unwrap_or(&path).display(),
); );
for (line, date) in dates { for (line, date) in dates {