Fix formatting of the example file #12

	name: Check with latest Rzk

	# Controls when the workflow will run
	on:
	# Triggers the workflow on push events
	push:
	# and pull request events
	pull_request:

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	check:
	runs-on: ubuntu-latest
	name: Check formalisations
	steps:
	- uses: actions/checkout@v3

	- name: Check all files
	uses: rzk-lang/rzk-action@v1
	with:
	rzk-version: latest
	files: src/*/.rzk.md

	check-formatting:
	runs-on: ubuntu-latest
	name: Check Rzk formatting
	steps:
	- uses: actions/checkout@v3

	- name: Check formatting
	uses: rzk-lang/[email protected]
	with:
	rzk-version: v0.7.2
	typecheck: false
	check-formatting: true

Provide feedback