Skip to content

Synchronize with new Git version (if any) #108

Synchronize with new Git version (if any)

Synchronize with new Git version (if any) #108

Annotations

1 warning

update-git-version-and-manual-pages

succeeded Jan 3, 2025 in 6s
Set up job
1s
Run actions/checkout@v4
1s
ruby setup
3s
update recorded Git version
1s
commit changes (if any)
0s
prepare worktree
0s
clone git.git
0s
update manual pages
0s
commit manual pages
0s
verify that there are no uncommitted changes
0s
deploy to GitHub Pages
0s
Post Run actions/checkout@v4
0s
Complete job
0s