feat: bump rust and aptos versions (#98)

* sets all aptos-core Rust dependencies to `aptos-release-v1.35` branch

* fixes compilation errors related to those version updates

* creates new fixtures for the integration tests (re-generated report.txt files - same content of the report.txt, but different mutant order)

* removes x25519-dalek patch as it's not used in the crate graph

* replaces deprecated tempdir into_path() with keep()

Author: ctoyan

.github/workflows/check-and-lint.yml

@@ -25,7 +25,7 @@ env:
 
 jobs:
   basic-lint-and-check:
-    runs-on: self-hosted
+    runs-on: ubuntu-latest
     name: Basic ci-check for fmt/clippy/check
     steps:
       - uses: actions/checkout@v4
@@ -34,16 +34,15 @@ jobs:
         run: sudo apt-get install libudev-dev libdw-dev lld
 
       - name: Setup Rust toolchain
-        uses: actions-rs/toolchain@v1
+        uses: actions-rust-lang/setup-rust-toolchain@v1
         with:
-          profile: default
-          toolchain: stable
+          components: rustfmt
 
-      - name: Run check
-        run: cargo check --all-targets
-
-      - name: Run fmt
-        run: cargo fmt --all -- --check
+      - name: Rustfmt Check
+        uses: actions-rust-lang/rustfmt@v1
 
       - name: Run clippy
         run: cargo clippy --all-targets -- -D warnings
+
+      - name: Run check
+        run: cargo check --all-targets

.github/workflows/run-tests.yml

@@ -25,7 +25,7 @@ env:
 
 jobs:
   basic-test-run:
-    runs-on: self-hosted
+    runs-on: ubuntu-latest
     name: Basic ci-check for tests
     steps:
       - uses: actions/checkout@v4
@@ -34,8 +34,10 @@ jobs:
         run: sudo apt-get install libudev-dev libdw-dev lld libpq-dev libssl-dev pkg-config lsof build-essential ca-certificates clang curl git --no-install-recommends --assume-yes
 
       - name: Get aptos-core
-        shell: bash
-        run: git clone https://github.com/aptos-labs/aptos-core.git
+        uses: actions/checkout@v4
+        with:
+          repository: aptos-labs/aptos-core
+          path: aptos-core
 
       - name: Install related tools and prover dependencies
         shell: bash
@@ -54,10 +56,7 @@ jobs:
           echo "/home/$USER/.dotnet/tools" | tee -a $GITHUB_PATH
 
       - name: Setup Rust toolchain
-        uses: actions-rs/toolchain@v1
-        with:
-          profile: default
-          toolchain: stable
+        uses: actions-rust-lang/setup-rust-toolchain@v1
 
       - name: Install nextest
         uses: taiki-e/install-action@nextest