Reenable redox ci

coolreader18 · coolreader18 · commit e40488b56e8e · 2023-04-05T13:07:04.000-05:00
diff --git a/.github/workflows/ci.yaml b/.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') }}
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/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
