Jakub Beránek 843ef1b1f0 Remove path filter ... It would cause issues with the required jobs, and it is probably useless anyway, the vast majority of PRs seem to change Rust source files.		2024-11-07 18:32:06 +01:00
..
clippy_dev.yml	Remove path filter	2024-11-07 18:32:06 +01:00
clippy_mq.yml	Switch CI from bors to merge queue	2024-10-25 10:28:45 +02:00
clippy_pr.yml	Remove path filter	2024-11-07 18:32:06 +01:00
deploy.yml	ci: Update to actions/checkout@v4 from v3.	2023-12-26 18:43:16 -05:00
lintcheck.yml	lintcheck: force warn all lints	2024-08-03 12:28:52 +00:00
remark.yml	Remove path filter	2024-11-07 18:32:06 +01:00