]> _ Git - alire.git/commit
Check remote hosts during `alr index --check` (#1309)
authorAlejandro R Mosteo <amosteo@unizar.es>
Fri, 27 Jan 2023 16:58:00 +0000 (17:58 +0100)
committerGitHub <noreply@github.com>
Fri, 27 Jan 2023 16:58:00 +0000 (17:58 +0100)
commit748b833f82b22d2234d3e03eee7628b3036927ef
treeeaac24e07a717255b847b65fb6f591e9b7c43733
parent6c8f510b615786e9eab506550d99e26eab16064e
Check remote hosts during `alr index --check` (#1309)
src/alire/alire-index.adb
src/alire/alire-index.ads
src/alire/alire-publish.adb
src/alire/alire-publish.ads
src/alr/alr-commands-index.adb