formal-models: extend dBFT with additional post-commit phase #71

	name: Build

	on:
	pull_request:
	branches:
	- master
	types: [opened, synchronize]
	paths-ignore:
	- 'scripts/**'
	- '*/.md'
	push:
	# Build for the master branch.
	branches:
	- master
	release:
	# Publish released commit as Docker `latest` and `git_revision` images.
	types:
	- published
	workflow_dispatch:
	inputs:
	ref:
	description: 'Ref to build dBFT [default: latest master; examples: v0.1.0, 0a4ff9d3e4a9ab432fd5812eb18c98e03b5a7432]'
	required: false
	default: ''

	jobs:
	run:
	name: Run simulation
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@v4
	with:
	ref: ${{ github.event.inputs.ref }}

	- name: Set up Go
	uses: actions/setup-go@v5
	with:
	go-version: '1.22'
	cache: true

	- name: Run simulation
	run: \|
	cd ./internal/simulation
	go run main.go

Provide feedback