Merge branch 'ci' into 'master'

Don't use diff on Redox

See merge request !233
5 jobs for master in 10 minutes and 23 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #18677
build:linux

00:02:23

passed #18678
build:redox

00:03:12

 
  Test
failed #18681
allowed to fail
fmt

00:02:28

passed #18679
test:linux

00:02:45

passed #18680
test:redox

00:07:10

 
Name Stage Failure
failed
fmt Test
+pub unsafe extern "C" fn wcstoul(
+ mut ptr: *const wchar_t,
+ end: *mut *mut wchar_t,
+ base: c_int,
+) -> c_ulong {
skipws!(ptr);
let result = strtou_impl!(c_ulong, ptr, base);
if !end.is_null() {
ERROR: Job failed: exit code 1