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

Retry after local verification
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 4m39s
Details

Browse Source
This commit is contained in:
Nina Chlóe Kassandra Reiß
2026-06-11 16:23:39 +02:00
parent 6ad68af041
commit 4cb0066d0e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.gitea/workflows/verify.yaml
+1 -1
View File
@@ -33,7 +33,7 @@ jobs:
fi
chmod +x /bin/alr
/bin/alr index --update-all
/bin/alr -n install gnatprove
/bin/alr install gnatprove
- name: build project
run: |