CI

Repo: remove AGENTS.md from public tree #6

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Fedora build and tests	2m 8s
Ubuntu build and tests	44s
Static checks	3s
ASan and UBSan	1m 17s
	4m 12s