4 commits

Author	SHA1	Message	Date
Samuel Tardieu	7639e82939	CI: check the presence of the changelog line in every pull request ... Checking it only in the merge queue leads to deferred failures once the decision to merge has been taken already.	2025-01-10 17:23:10 +01:00
Samuel Tardieu	12d3137560	CI: be compatible with both Rustup pre-1.28.0 and 1.28.0 ... `rustup show active-toolchain` will no longer install the default toolchain starting from Rustup 1.28.0, and `rustup toolchain install` without extra arguments is not supported in Rustup pre-1.28.0.	2025-01-04 23:12:32 +01:00
blyxyas	7ac151508e	Make CI a little bit safer	2025-01-03 00:44:35 +01:00
Jakub Beránek	3338611c1b	Switch CI from bors to merge queue	2024-10-25 10:28:45 +02:00

Renamed from .github/workflows/clippy_bors.yml (Browse further)