refactor: use create_justification in the quint specification as in the informal spec #1407

	name: Rust

	on:
	pull_request:
	branches: [ "*" ]
	push:
	# Caches of different branches are isolated, so first presubmit on a given pull request is slow.
	# However workflows of pull request have read-only access to the cache of the target branch.
	# To utilize that we are rerunning the workflow on the dev branch after merging.
	branches: ["main"]

	env:
	CARGO_TERM_COLOR: always
	CARGO_INCREMENTAL: "0"
	RUSTFLAGS: "-Dwarnings -C linker=clang -C link-arg=-fuse-ld=lld -C link-arg=-Wl,-z,nostart-stop-gc"
	RUSTC_WRAPPER: "sccache"
	SCCACHE_GHA_ENABLED: "true"
	RUST_BACKTRACE: "1"

	jobs:
	check-build-test:

	runs-on: [ubuntu-22.04-github-hosted-16core]

	defaults:
	run:
	working-directory: ./node

	steps:
	- uses: actions/checkout@v3

	- uses: mozilla-actions/[email protected]
	- name: install nextest
	uses: baptiste0928/cargo-install@v2
	with:
	crate: cargo-nextest
	- name: install deny
	uses: baptiste0928/cargo-install@v2
	with:
	crate: cargo-deny
	- name: deny
	run: cargo deny check
	- name: fmt
	run: cargo fmt --all --check
	- name: clippy (all features)
	run: cargo clippy --workspace --all-targets --all-features
	- name: clippy (default features)
	run: cargo clippy --workspace --exclude zksync_consensus_tools --all-targets
	- name: build
	run: cargo build --all-targets --locked
	- name: test
	run: cargo nextest run --profile ci

Provide feedback