Verify in CI using gnatprove · 970aaad697 - grl - Design, verify and be happy :3

nichkara/grl

Verify in CI using gnatprove

This commit is contained in:

Nina Chlóe Kassandra Reiß

2026-06-11 15:23:11 +02:00

parent 9d98de374f

commit 970aaad697

1 changed files with 4 additions and 0 deletions

									
										.gitea/workflows/verify.yaml
									
		+4
		
												View File
												
					@@ -35,3 +35,7 @@ jobs:

					    - name: build project

					    - name: build project

					      run: |

					      run: |

					        /bin/alr -n build

					        /bin/alr -n build

					    - name: project verify

					      run: |

					        /bin/alr -n gnatprove