Skip to content
Continuous integration

Continuous integration run by codyjrivera #1185

Sign in to view logs

Continuous integration run by codyjrivera

Continuous integration run by codyjrivera #1185

Workflow file for this run

.github/workflows/ci.yml at d3b405d
name: Continuous integration
run-name: Continuous integration run by ${{ github.actor }}
on:
# push:
# branches:
# - main
# paths-ignore:
# - "README.md"
# - ".gitignore"
# - "doc/**"
pull_request:
merge_group:
workflow_dispatch:
jobs:
fluent-verification:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Download Verus
uses: actions/checkout@v2
with:
repository: verus-lang/verus
path: verus
ref: 0d7b766446cd33521132cff03b6108705e83884f
- name: Move Verus
run: mv verus ../verus
- name: Install Rust toolchain
run: |
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
- name: Build Verus
run: |
cd ../verus/source
./tools/get-z3.sh
source ../tools/activate
vargo build --release
- name: Verify fluent controller
run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh fluent_controller.rs --time --rlimit 50
rabbitmq-verification:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Download Verus
uses: actions/checkout@v2
with:
repository: verus-lang/verus
path: verus
ref: 0d7b766446cd33521132cff03b6108705e83884f
- name: Move Verus
run: mv verus ../verus
- name: Install Rust toolchain
run: |
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
- name: Build Verus
run: |
cd ../verus/source
./tools/get-z3.sh
source ../tools/activate
vargo build --release
- name: Verify rabbitmq controller
run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh rabbitmq_controller.rs --time --rlimit 50
zookeeper-verification:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Download Verus
uses: actions/checkout@v2
with:
repository: verus-lang/verus
path: verus
ref: 0d7b766446cd33521132cff03b6108705e83884f
- name: Move Verus
run: mv verus ../verus
- name: Install Rust toolchain
run: |
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
- name: Build Verus
run: |
cd ../verus/source
./tools/get-z3.sh
source ../tools/activate
vargo build --release
- name: Verify zookeeper controller
run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh zookeeper_controller.rs --time --rlimit 50
vreplicaset-verification:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Download Verus
uses: actions/checkout@v2
with:
repository: verus-lang/verus
path: verus
ref: 0d7b766446cd33521132cff03b6108705e83884f
- name: Move Verus
run: mv verus ../verus
- name: Install Rust toolchain
run: |
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
- name: Build Verus
run: |
cd ../verus/source
./tools/get-z3.sh
source ../tools/activate
vargo build --release
- name: Verify vreplicaset controller
run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh vreplicaset_controller.rs --time
v2-vreplicaset-verification:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Download Verus
uses: actions/checkout@v2
with:
repository: verus-lang/verus
path: verus
ref: 0d7b766446cd33521132cff03b6108705e83884f
- name: Move Verus
run: mv verus ../verus
- name: Install Rust toolchain
run: |
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
- name: Build Verus
run: |
cd ../verus/source
./tools/get-z3.sh
source ../tools/activate
vargo build --release
- name: Verify vreplicaset controller
run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh v2_vreplicaset_controller.rs --time
unit-tests:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Download Verus
uses: actions/checkout@v2
with:
repository: verus-lang/verus
path: verus
ref: 0d7b766446cd33521132cff03b6108705e83884f
- name: Move Verus
run: mv verus ../verus
- name: Install Rust toolchain
run: |
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
- name: Build Verus
run: |
cd ../verus/source
./tools/get-z3.sh
source ../tools/activate
vargo build --release
- name: Run unit tests
run: cargo test unit_tests
conformance-tests:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Download Verus
uses: actions/checkout@v2
with:
repository: verus-lang/verus
path: verus
ref: 0d7b766446cd33521132cff03b6108705e83884f
- name: Move Verus
run: mv verus ../verus
- name: Install Rust toolchain
run: |
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
- name: Build Verus
run: |
cd ../verus/source
./tools/get-z3.sh
source ../tools/activate
vargo build --release
- name: Setup Go
uses: actions/setup-go@v2
with:
go-version: "^1.20"
- name: Install kind
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 none -y
- name: Set up a kind cluster
run: kind create cluster
- name: Run conformance tests
run: cargo test conformance_tests -- --nocapture
framework-verification:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Download Verus
uses: actions/checkout@v2
with:
repository: verus-lang/verus
path: verus
ref: 0d7b766446cd33521132cff03b6108705e83884f
- name: Move Verus
run: mv verus ../verus
- name: Install Rust toolchain
run: |
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
- name: Build Verus
run: |
cd ../verus/source
./tools/get-z3.sh
source ../tools/activate
vargo build --release
- name: Verify conformance of the executable model
run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh anvil.rs --crate-type lib --time
framework-v2-verification:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Download Verus
uses: actions/checkout@v2
with:
repository: verus-lang/verus
path: verus
ref: 0d7b766446cd33521132cff03b6108705e83884f
- name: Move Verus
run: mv verus ../verus
- name: Install Rust toolchain
run: |
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
- name: Build Verus
run: |
cd ../verus/source
./tools/get-z3.sh
source ../tools/activate
vargo build --release
- name: Verify conformance of the executable model
run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh anvil_v2.rs --crate-type lib --time
fluent-e2e-test:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Setup Go
uses: actions/setup-go@v2
with:
go-version: "^1.20"
- name: Install kind
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 none -y
- name: Deploy fluent controller
run: ./local-test.sh fluent
- name: Run fluent e2e tests
run: cd e2e && cargo run -- fluent
rabbitmq-e2e-test:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Setup Go
uses: actions/setup-go@v2
with:
go-version: "^1.20"
- name: Install kind
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 none -y
- name: Deploy rabbitmq controller
run: ./local-test.sh rabbitmq
- name: Run rabbitmq e2e tests
run: cd e2e && cargo run -- rabbitmq
rabbitmq-scaling-e2e-test:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Setup Go
uses: actions/setup-go@v2
with:
go-version: "^1.20"
- name: Install kind
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 none -y
- name: Deploy rabbitmq controller
run: ./local-test.sh rabbitmq
- name: Run rabbitmq e2e tests for scaling
run: cd e2e && cargo run -- rabbitmq-scaling
rabbitmq-ephemeral-e2e-test:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Setup Go
uses: actions/setup-go@v2
with:
go-version: "^1.20"
- name: Install kind
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 none -y
- name: Deploy rabbitmq controller
run: ./local-test.sh rabbitmq
- name: Run rabbitmq e2e tests for ephemeral
run: cd e2e && cargo run -- rabbitmq-ephemeral
zookeeper-e2e-test:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Setup Go
uses: actions/setup-go@v2
with:
go-version: "^1.20"
- name: Install kind
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 none -y
- name: Deploy zookeeper controller
run: ./local-test.sh zookeeper
- name: Run zookeeper e2e tests
run: cd e2e && cargo run -- zookeeper
zookeeper-scaling-e2e-test:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Setup Go
uses: actions/setup-go@v2
with:
go-version: "^1.20"
- name: Install kind
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 none -y
- name: Deploy zookeeper controller
run: ./local-test.sh zookeeper
- name: Run zookeeper e2e tests for scaling
run: cd e2e && cargo run -- zookeeper-scaling
vreplicaset-e2e-test:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Setup Go
uses: actions/setup-go@v2
with:
go-version: "^1.20"
- name: Install kind
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 none -y
- name: Deploy vreplicaset controller
run: ./local-test.sh vreplicaset
- name: Run vreplicaset e2e tests
run: cd e2e && cargo run -- vreplicaset