Speed up predicate splitting during module lowering (#532) #1263

	name: Rust Tests

	on:
	pull_request:
	branches: [ main ]
	types: [ready_for_review, opened, synchronize, reopened]
	push:
	branches: [ main ]

	jobs:
	test:
	if: github.event.pull_request.draft == false
	name: Rust tests
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- name: Set up Rust
	uses: actions-rust-lang/setup-rust-toolchain@v1
	- name: Run tests
	# RocksDB is disabled by default but we still want to test it.
	run: cargo test --release --features db_rocksdb
	- name: Run example 1
	run: cargo run --release --example main_pod_points -- --mock
	- name: Run example 2
	run: cargo run --release --example signed_dict

Navigation Menu