Skip to content

rename git-annex role to git_annex #349

rename git-annex role to git_annex

rename git-annex role to git_annex #349

Triggered via push July 15, 2026 08:51
Status Success
Total duration 25s
Artifacts 1

pages.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
964 KB
sha256:d3860162096f0888ba67cd2f0a114b329c4cc1017202b9d6994019388f81cd47