Repository navigation

Ada/SPARK CI

Align test infrastructure with proven-tests-and-benches standards #7

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	3s
Diagnostics	12s
Security Checks	20s
Zig FFI	3s
Test	0s
Notifications	4s
	42s