-
Notifications
You must be signed in to change notification settings - Fork 7
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
the correct overriding place should be rust-toolchain.toml
- Loading branch information
1 parent
e21d845
commit c815005
Showing
1 changed file
with
19 additions
and
21 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -17,10 +17,9 @@ jobs: | |
| steps: | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| . "$HOME/.cargo/env" | ||
| rustup --version | ||
| rustup toolchain install | ||
| rustup toolchain install 1.82.0-x86_64-unknown-linux-gnu | ||
| - name: Download Verus | ||
| uses: actions/checkout@v2 | ||
| with: | ||
|
|
@@ -33,7 +32,6 @@ jobs: | |
| cd verus/source | ||
| ./tools/get-z3.sh | ||
| . ../tools/activate | ||
| rustup show active-toolchain | ||
| vargo build --release | ||
| - name: Cache verus | ||
| uses: actions/cache@v4 | ||
|
|
@@ -49,7 +47,7 @@ jobs: | |
| steps: | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Restore build cache | ||
| uses: actions/cache@v4 | ||
| with: | ||
|
|
@@ -64,7 +62,7 @@ jobs: | |
| steps: | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Restore build cache | ||
| uses: actions/cache@v4 | ||
| with: | ||
|
|
@@ -79,7 +77,7 @@ jobs: | |
| steps: | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Restore build cache | ||
| uses: actions/cache@v4 | ||
| with: | ||
|
|
@@ -94,7 +92,7 @@ jobs: | |
| steps: | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Restore build cache | ||
| uses: actions/cache@v4 | ||
| with: | ||
|
|
@@ -109,7 +107,7 @@ jobs: | |
| steps: | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Restore build cache | ||
| uses: actions/cache@v4 | ||
| with: | ||
|
|
@@ -124,7 +122,7 @@ jobs: | |
| steps: | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Restore build cache | ||
| uses: actions/cache@v4 | ||
| with: | ||
|
|
@@ -139,7 +137,7 @@ jobs: | |
| steps: | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Restore build cache | ||
| uses: actions/cache@v4 | ||
| with: | ||
|
|
@@ -156,7 +154,7 @@ jobs: | |
| steps: | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Restore build cache | ||
| uses: actions/cache@v4 | ||
| with: | ||
|
|
@@ -181,7 +179,7 @@ jobs: | |
| steps: | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Restore build cache | ||
| uses: actions/cache@v4 | ||
| with: | ||
|
|
@@ -196,7 +194,7 @@ jobs: | |
| steps: | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Restore build cache | ||
| uses: actions/cache@v4 | ||
| with: | ||
|
|
@@ -217,7 +215,7 @@ jobs: | |
| run: go install sigs.k8s.io/[email protected] | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Deploy fluent controller | ||
| run: ./local-test.sh fluent | ||
| - name: Run fluent e2e tests | ||
|
|
@@ -234,7 +232,7 @@ jobs: | |
| run: go install sigs.k8s.io/[email protected] | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Deploy rabbitmq controller | ||
| run: ./local-test.sh rabbitmq | ||
| - name: Run rabbitmq e2e tests | ||
|
|
@@ -251,7 +249,7 @@ jobs: | |
| run: go install sigs.k8s.io/[email protected] | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Deploy rabbitmq controller | ||
| run: ./local-test.sh rabbitmq | ||
| - name: Run rabbitmq e2e tests for scaling | ||
|
|
@@ -268,7 +266,7 @@ jobs: | |
| run: go install sigs.k8s.io/[email protected] | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Deploy rabbitmq controller | ||
| run: ./local-test.sh rabbitmq | ||
| - name: Run rabbitmq e2e tests for ephemeral | ||
|
|
@@ -285,7 +283,7 @@ jobs: | |
| run: go install sigs.k8s.io/[email protected] | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Deploy zookeeper controller | ||
| run: ./local-test.sh zookeeper | ||
| - name: Run zookeeper e2e tests | ||
|
|
@@ -302,7 +300,7 @@ jobs: | |
| run: go install sigs.k8s.io/[email protected] | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Deploy zookeeper controller | ||
| run: ./local-test.sh zookeeper | ||
| - name: Run zookeeper e2e tests for scaling | ||
|
|
@@ -319,7 +317,7 @@ jobs: | |
| run: go install sigs.k8s.io/[email protected] | ||
| - name: Install Rust toolchain | ||
| run: | | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y | ||
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y | ||
| - name: Deploy vreplicaset controller | ||
| run: ./local-test.sh vreplicaset | ||
| - name: Run vreplicaset e2e tests | ||
|
|
||