Load invocation numbers from JSON file #526

	# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
	#
	# SPDX-License-Identifier: BSD-2-Clause

	# Actions to run on pull requests

	name: PR

	on: [pull_request]

	jobs:
	gitlint:
	name: Gitlint
	runs-on: ubuntu-latest
	steps:
	- uses: seL4/ci-actions/gitlint@master

	whitespace:
	name: 'Trailing Whitespace'
	runs-on: ubuntu-latest
	steps:
	- uses: seL4/ci-actions/git-diff-check@master

	shell:
	name: 'Portable Shell'
	runs-on: ubuntu-latest
	steps:
	- uses: seL4/ci-actions/bashisms@master

	style:
	name: Style
	runs-on: ubuntu-latest
	steps:
	- uses: seL4/ci-actions/style@master

	clippy_check:
	runs-on: ubuntu-latest
	# Make sure CI fails on all warnings, including Clippy lints
	env:
	RUSTFLAGS: "-Dwarnings"
	steps:
	- uses: actions/checkout@v4
	- uses: actions/cache@v3
	with:
	path: \|
	~/.cargo/bin/
	~/.cargo/registry/index/
	~/.cargo/registry/cache/
	~/.cargo/git/db/
	target/
	key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
	- name: Run Clippy
	run: cd tool/microkit && cargo clippy --all-targets --all-features

	rustfmt_check:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/cache@v3
	with:
	path: \|
	~/.cargo/bin/
	~/.cargo/registry/index/
	~/.cargo/registry/cache/
	~/.cargo/git/db/
	target/
	key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
	- name: Run rustfmt
	run: cd tool/microkit && cargo fmt --check

Provide feedback