aboutsummaryrefslogtreecommitdiff

=5243985aa2509b7dc3236d88b5c22626e2a76be9'>git-authenticate.scm
es/mpi.scm?id=8db4e704dc9c6e86c98d7357b85793dea493ff8f'>gnu: hwloc@2: Skip test that fails on emulated hardware....
AgeCommit message (Expand)Author
2023-09-26tests: Assume ‘git’ is always available....Ludovic Courtès
2022-02-14git-authenticate: Ensure the target is a descendant of the introductory commit....Ludovic Courtès
2022-02-14git-authenticate: Test introductory commit signature verification....Ludovic Courtès
2021-12-22tests: Move keys into ./tests/keys/ and add a third ed25519 key....Attila Lendvai
Ludovic Courtès
2020-03-10gnu: openmpi: Use HTTPS home page....Tobias Geerinckx-Rice
2020-03-10gnu: openmpi: Update to 4.0.3....Tobias Geerinckx-Rice