Reenable redox ci

.github/workflows/ci.yaml

@@ -230,12 +230,12 @@ jobs:
       - name: Check compilation for freeBSD
         run: cargo check --target x86_64-unknown-freebsd
 
-      # - name: Prepare repository for redox compilation
-      #   run: bash scripts/redox/uncomment-cargo.sh
-      # - name: Check compilation for Redox
-      #   uses: coolreader18/redoxer-action@v1
-      #   with:
-      #     command: check
+      - name: Prepare repository for redox compilation
+        run: bash scripts/redox/uncomment-cargo.sh
+      - name: Check compilation for Redox
+        uses: coolreader18/redoxer-action@v1
+        with:
+          command: check
 
   snippets_cpython:
     if: ${{ !contains(github.event.pull_request.labels.*.name, 'skip:ci') }}

Cargo.lock

@@ -1141,9 +1141,9 @@ dependencies = [
 
 [[package]]
 name = "libc"
-version = "0.2.140"
+version = "0.2.141"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "99227334921fae1a979cf0bfdfcc6b3e5ce376ef57e16fb6fb3ea2ed6095f80c"
+checksum = "3304a64d199bb964be99741b7a14d26972741915b3649639149b2479bb46f4b5"
 
 [[package]]
 name = "libffi"

Cargo.toml

@@ -130,5 +130,4 @@ lto = "thin"
 # REDOX START, Uncomment when you want to compile/check with redoxer
 # nix = { git = "https://github.com/coolreader18/nix", branch = "0.26.2-redox" }
 # errno = { git = "https://github.com/coolreader18/rust-errno", branch = "0.2.8-redox" }
-# libc = { git = "https://github.com/rust-lang/libc" }
 # REDOX END