Refresh alire package index
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 41s
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 41s
This commit is contained in:
@@ -32,6 +32,7 @@ jobs:
|
|||||||
mv alr /bin/alr
|
mv alr /bin/alr
|
||||||
fi
|
fi
|
||||||
chmod +x /bin/alr
|
chmod +x /bin/alr
|
||||||
|
/bin/alr index --update-all
|
||||||
/bin/alr -n install gnatprove
|
/bin/alr -n install gnatprove
|
||||||
|
|
||||||
- name: build project
|
- name: build project
|
||||||
|
|||||||
Reference in New Issue
Block a user