ci: add docker publish workflow (#35) #8

	name: CI

	on:
	push:
	branches: [main]
	pull_request:
	branches: ["**"]
	workflow_dispatch:

	# Cancel in-progress runs when a new commit is pushed to the same PR or branch
	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	env:
	CARGO_NET_GIT_FETCH_WITH_CLI: "true"
	CARGO_NET_RETRY: "10"

	jobs:
	lint:
	name: Lint
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- name: Setup Rust
	uses: dtolnay/rust-toolchain@master
	with:
	toolchain: "1.92.0"
	components: rustfmt, clippy

	- name: Setup cache
	uses: Swatinem/rust-cache@v2

	- name: Check formatting
	run: cargo fmt --all -- --check

	- name: Cargo check
	run: cargo check --workspace --all-targets

	- name: Clippy
	run: cargo clippy --workspace --all-targets -- -D warnings

	test:
	name: Test
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- name: Checkout leanSpec
	uses: actions/checkout@v4
	with:
	repository: leanEthereum/leanSpec
	ref: bf0f606a75095cf1853529bc770516b1464d9716
	path: ./leanSpec

	- name: Install uv
	uses: astral-sh/setup-uv@v5

	- name: Generate test fixtures
	working-directory: ./leanSpec
	run: uv run fill --clean --fork=devnet

	- name: Setup Rust
	uses: dtolnay/rust-toolchain@master
	with:
	toolchain: "1.92.0"

	- name: Setup cache
	uses: Swatinem/rust-cache@v2

	- name: Run tests
	run: cargo test --workspace

Provide feedback