Skip to content

source-git init: one has to push tags as well (#715) #31

source-git init: one has to push tags as well (#715)

source-git init: one has to push tags as well (#715) #31

Triggered via push August 17, 2023 11:39
Status Success
Total duration 3m 24s
Artifacts

deploy.yml

on: push
Deploy to GitHub Pages
3m 11s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in