docs: Updated example in usage instructions #64

	# The present workflow was made based on the following references:
	# - https://github.com/actions/cache/blob/main/examples.md#haskell---cabal
	# - https://github.com/haskell/time/blob/master/.github/workflows/ci.yml
	# - https://github.com/stackbuilders/hapistrano/blob/master/.github/workflows/build.yml
	# - https://markkarpov.com/post/github-actions-for-haskell-ci.html
	---
	name: Build

	on: push

	concurrency:
	group: build-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	haskell:
	runs-on: ${{ matrix.os }}
	strategy:
	matrix:
	os:
	# - macos-latest
	- ubuntu-latest
	ghc:
	- "9.4.8"
	- "9.2.8"
	- "8.10.7"

	steps:
	- name: Checkout
	uses: actions/checkout@v3
	- name: Install Haskell tooling
	uses: haskell/actions/setup@v2
	with:
	ghc-version: ${{ matrix.ghc }}
	cabal-version: "3.6"
	- name: Install Z3
	run: \|
	sudo apt-get install -y z3
	- name: Configure project
	run: cabal configure --enable-tests
	- name: Build project
	run: cabal build
	- name: Run tests
	run: cabal test --test-show-details=direct
	- name: Check documentation
	run: cabal haddock

Provide feedback