Skip to content

Don't allow .html files in tests/mir-opt/#120018

Merged
bors merged 1 commit intorust-lang:masterfrom
Zalathar:mir-opt-html
Jan 16, 2024
Merged

Don't allow `.html` files in `tests/mir-opt/`#120018
bors merged 1 commit intorust-lang:masterfrom
Zalathar:mir-opt-html

Commits

Commits on Jan 16, 2024