Print gnatprove report in CI · dfacf86537 - grl - Design, verify and be happy :3

nichkara/grl

Print gnatprove report in CI

Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 44s

Details

This commit is contained in:

Nina Chlóe Kassandra Reiß

2026-06-11 15:45:30 +02:00

parent 2dcab4f1ea

commit dfacf86537

1 changed files with 1 additions and 1 deletions

									
										.gitea/workflows/verify.yaml
									
		+1
		-1
	
												View File
												
					@@ -39,4 +39,4 @@ jobs:

					    - name: project verify

					    - name: project verify

					      run: |

					      run: |

					        /bin/alr -n gnatprove

					        /bin/alr gnatprove; cat $(find . | grep "out$")