Clean up and simplify the Verus CI workflow

.github/workflows/verus.yml

@@ -4,6 +4,7 @@ on:
   push:
     paths-ignore:
       - 'README.md'
+      - 'CONTRIBUTING.md'
   workflow_dispatch:
 
 jobs:
@@ -29,8 +30,8 @@ jobs:
       # - name: test proof action
         # run: cargo test --package ide-assists --lib -- handlers::proof_action::wp_move_assertion::tests::wp_lemma_call --exact --nocapture
 
-      - name: build default
-        run: cargo xtask dist
+      #- name: build default
+      #  run: cargo xtask dist
 
       - name: build proof action version
         run: cargo xtask dist --proof-action

crates/va-test/src/main.rs

@@ -65,7 +65,6 @@ fn main() {
             println!("\tparse error: {:?}", e);
         }
     }
-    return;
 
     let work = all_modules.into_iter().filter(|module| {
         let file_id = module.definition_source_file_id(&db).original_file(&db);

editors/code/src/ctx.ts

@@ -21,7 +21,7 @@ import {
 } from "./dependencies_provider";
 import { execRevealDependency } from "./commands";
 import { PersistentState } from "./persistent_state";
-import { bootstrap, findRustup, getVerus, validRustToolchain} from "./bootstrap";
+import { bootstrap, getVerus, validRustToolchain} from "./bootstrap";
 import type { RustAnalyzerExtensionApi } from "./main";
 import type { JsonProject } from "./rust_project";
 import { prepareTestExplorer } from "./test_explorer";