Deadbeef 8b60bf6764 Update CI for Rust bors

2022-04-13 16:55:10 +02:00

..

main.rs

…

sourcegen.rs

…

support.rs

…

testdir.rs

…

tidy.rs

Update CI for Rust bors

2022-04-13 16:55:10 +02:00