nichkara/grl
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Activity

Ship gnatprove with package
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 43s
Details

Browse Source
This commit is contained in:
Nina Chlóe Kassandra Reiß
2026-06-11 15:49:55 +02:00
parent dfacf86537
commit b2b55238ed
2 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.gitea/workflows/verify.yaml
+3 -1
View File
@@ -39,4 +39,6 @@ jobs:
- name: project verify - name: project verify
run: | run: |
/bin/alr gnatprove; cat $(find . | grep "out$") /bin/alr gnatprove --version
/bin/alr gnatprove --help
/bin/alr gnatprove -v
alire.toml
+3
View File
@@ -8,3 +8,6 @@ maintainers-logins = ["nichkara"]
licenses = "MIT" licenses = "MIT"
website = "" website = ""
tags = ["routing", "geo", "coordinates", "geography", "graph", "pathfinding", "spark"] tags = ["routing", "geo", "coordinates", "geography", "graph", "pathfinding", "spark"]
[[depends-on]]
gnatprove = "^15.1.0"