typo Update contract.md #459

	name: Documentation

	on:
	push:
	branches: [ main ]
	# Always run on commits

	pull_request:
	paths:
	- 'linera-protocol'
	- 'src/**'
	- 'book.toml'
	- '.github/workflows/documentation.yml'

	env:
	CARGO_TERM_COLOR: always

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: 'Checkout'
	uses: actions/checkout@v3
	with:
	submodules: 'true'

	- uses: Twey/setup-rust-toolchain@v1

	- name: 'Setup mdbook'
	uses: peaceiris/actions-mdbook@v1
	with:
	mdbook-version: 'latest'

	- name: 'Install Protoc'
	uses: arduino/setup-protoc@v3
	with:
	repo-token: ${{ secrets.GITHUB_TOKEN }}

	- name: 'Build the Linera SDK'
	run: \|
	cd linera-protocol
	cargo build --locked -p linera-sdk --features test,wasmer

	- name: Install linkcheck
	run: \|
	cargo install mdbook-linkcheck

	- run: mdbook build

	# TODO(#108): https://github.com/linera-io/linera-documentation/issues/108
	# - name: 'Check documentation'
	# run: mdbook test -L linera-protocol/target/debug/deps/

	formatting:
	runs-on: ubuntu-latest
	steps:
	- name: 'Checkout'
	uses: actions/checkout@v3

	- name: 'Setup Node'
	uses: actions/setup-node@v3
	with:
	node-version: 16

	- name: 'Install prettier'
	run: npm install -g prettier

	- name: 'Check formatting'
	run: prettier --check src/

Provide feedback