]> _ Git - alire.git/commit
dev: detect pin/submodule mismatches (#1977)
authorAlejandro R Mosteo <amosteo@unizar.es>
Mon, 7 Jul 2025 15:48:40 +0000 (17:48 +0200)
committerGitHub <noreply@github.com>
Mon, 7 Jul 2025 15:48:40 +0000 (17:48 +0200)
commit63824271d9a23071260ad454546f8d24201638c7
tree2fdff065a00d4128418295c160b23de50eaa5c87
parent02575f1f5b2e7e3c3fc949f79ef12cf72fe506b3
dev: detect pin/submodule mismatches (#1977)

* dev: detect pin/submodule mismatches

* Fix mismatched pins

* Fix ada_toml remote
.github/workflows/ci-integrity.yml [new file with mode: 0644]
alire.toml
deps/ada-toml
scripts/verify-pins.sh [new file with mode: 0755]