Tests #31

	name: "Tests"

	on:
	push:
	branches: ["main"]
	paths: ["*/.zig", "build.zig.zon"]
	pull_request:
	schedule:
	- cron: "0 3 * * 5"
	workflow_dispatch:

	jobs:
	test:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: mlugg/setup-zig@v1
	- name: Formatting
	run: zig fmt --check src/*.zig
	- name: Build executable
	run: zig build -Doptimize=ReleaseFast
	- name: Run small benchmark
	run: ./zig-out/bin/spice-example -n 10000 --baseline -t 1 -t 2 -t 4
	# According to https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners/about-github-hosted-runners
	# `ubuntu-latest` has 4 processes so we expect some speed-up here.

Provide feedback