Continuous integration run by codyjrivera #11

Workflow file for this run

.github/workflows/ci.yml at 8f71989

	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: 1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8
	- 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: 1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8
	- 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: 1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8
	- 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
	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: 1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8
	- 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: 1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8
	- 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: 1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8
	- 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
	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
	zookeeper-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 zookeeper controller
	run: ./local-test.sh zookeeper
	- name: Run zookeeper e2e tests for ephemeral storage
	run: cd e2e && cargo run -- zookeeper-ephemeral

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Continuous integration run by codyjrivera #11

Workflow file

Continuous integration run by codyjrivera #11

Jobs

Run details

Workflow file for this run