try rudra

tesuji · May 12, 2024 · ebe2e75 · ebe2e75
1 parent ae15b6c
commit ebe2e75
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -7,8 +7,8 @@ on:
       - '!gh-pages'
   pull_request:
 
-# rust 1.68
 env:
+  # rust 1.68
   CARGO_REGISTRIES_CRATES_IO_PROTOCOL: sparse
 
 jobs:
@@ -135,7 +135,6 @@ jobs:
   # Use static analyzer Rudra <https://github.com/sslab-gatech/Rudra>.
   # FIXME: Disable for now since it's very costly to run.
   rudra:
-    if: false
     runs-on: ubuntu-latest
     env:
       MSRV: nightly-2021-08-20