Ada/SPARK CI

Step 3: Complete functional ADI TUI with platform integration #3

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	2s
Security Checks	18s
Zig FFI	3s
Diagnostics	13s
Test	-1s
Notifications	3s
	38s