Skip to content
Check Author

gnatprove-13.2.1: GPR_PROJECT_PATH for sparklib #159

Sign in to view logs

gnatprove-13.2.1: GPR_PROJECT_PATH for sparklib

gnatprove-13.2.1: GPR_PROJECT_PATH for sparklib #159

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
15s
15s