docs: Clarify examples of instruction behavior #13

	name: CodSpeed

	on:
	push:
	branches:
	- master
	pull_request:
	branches:
	- master
	# `workflow_dispatch` allows CodSpeed to trigger backtest
	# performance analysis in order to generate initial data.
	workflow_dispatch:

	jobs:
	benchmarks:
	name: Run benchmarks
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Install stable toolchain
	uses: dtolnay/rust-toolchain@stable

	- name: Install codspeed
	uses: taiki-e/install-action@v2
	with:
	tool: cargo-codspeed

	- name: Build benchmarks
	run: >
	cargo codspeed build
	bezout_coeffs
	mem_io
	prove_fib
	verify_halt

	- name: Run benchmarks
	uses: CodSpeedHQ/action@v3
	with:
	run: cargo codspeed run
	token: ${{ secrets.CODSPEED_TOKEN }}

Provide feedback