Integrate new main.pil from zkronos with SP disabled #113

	name: Risc Oficial Tests Check

	on:
	push:
	branches: [develop]
	paths:
	- 'emulator/**'
	- 'riscv/**'
	- 'core/**'
	pull_request:
	branches:
	- '**'
	paths:
	- 'emulator/**'
	- 'riscv/**'
	- 'core/**'

	jobs:
	docker-ziskof-check:
	name: Docker Risc Oficial Tests Check
	runs-on: self-hosted
	env:
	CARGO_NET_GIT_FETCH_WITH_CLI: "true"
	steps:
	- name: Checkout sources
	uses: actions/checkout@v4

	- uses: actions/checkout@v2
	- name: Install nightly
	uses: actions-rs/toolchain@v1
	with:
	toolchain: nightly-2024-07-21
	override: true
	components: rustfmt, clippy

	- name: Run cargo check
	uses: actions-rs/cargo@v1
	with:
	command: check

	- name: Build project
	uses: actions-rs/cargo@v1
	with:
	command: build
	toolchain: nightly-2024-07-21
	args: --release --all-features
	env:
	RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native
	RUST_BACKTRACE: 1

	- name: Login to Docker Hub
	uses: docker/login-action@v3
	with:
	username: ${{ secrets.DOCKERHUB_USERNAME }}
	password: ${{ secrets.DOCKERHUB_TOKEN }}

	- name: Run Docker container
	run: \|
	docker run --rm -v ./target/release/ziskemu:/program hermeznetwork/ziskof:latest

Provide feedback