Skip to content
Publish docs via GitHub Pages

Merge pull request #3375 from walf443/debian_12 #1362

Sign in to view logs

Merge pull request #3375 from walf443/debian_12

Merge pull request #3375 from walf443/debian_12 #1362

Triggered via push August 14, 2023 09:17
@twz123twz123
pushed 5f036f3
main
Status Success
Total duration 1m 20s
Artifacts –

publish-docs.yml

on: push
Deploy docs
1m 9s
Deploy docs
Fit to window
Zoom out
Zoom in