Repository navigation

docs: add Signed commits section to CONTRIBUTING (#79) #112

	# This workflow is managed by gh actions-lock.
	# SPDX-License-Identifier: MPL-2.0-or-later
	# This workflow is managed by gh actions-lock.
	name: CI

	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]

	permissions: read-all

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v7.0.1

	- name: Install GNAT and GPRbuild
	run: \|
	sudo apt-get update
	sudo apt-get install -y gnat gprbuild

	- name: Build
	run: gprbuild -P bitfuckit.gpr

	- name: Smoke test
	run: bin/bitfuckit --help

	verify:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v7.0.1

	- name: Install GNAT, GPRbuild, and GNATprove
	run: \|
	sudo apt-get update
	sudo apt-get install -y gnat gprbuild gnatprove \|\| true

	- name: SPARK verification (best effort)
	run: gnatprove -P bitfuckit.gpr --mode=check \|\| echo "SPARK verification requires full toolchain"
	continue-on-error: true