Skip to content

rename git-annex role to git_annex #2330

rename git-annex role to git_annex

rename git-annex role to git_annex #2330

Triggered via pull request July 15, 2026 08:34
Status Success
Total duration 2m 19s
Artifacts

main.yml

on: pull_request
Matrix: vagrant
Fit to window
Zoom out
Zoom in