Ada/SPARK CI

feat: Add proof needs document, draft SPARK annotations, and Epistemi… #8

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Zig FFI	3s
Security Checks	9s
Build	3s
Diagnostics	17s
Test	0s
Notifications	4s
	36s