Emmanuel Gil Peyrot 9e07882531 CI: Stop running ignored tests ... This got introduced in 2e3004f89e, but there should be no reason to run ignored tests; if they are #[ignore] it’s probably for a good reason. This is particularly annoying with doctests, where ignore is used to explicitly highlight broken/untested code. Thanks jonas’ for noticing!		2024-06-25 12:27:01 +02:00
..
workflows	CI: Stop running ignored tests	2024-06-25 12:27:01 +02:00