Skip to content
Deploy to GitHub Pages

It is not a good idea to change the serial default of the docker play… #80

Sign in to view logs

It is not a good idea to change the serial default of the docker play…

It is not a good idea to change the serial default of the docker play… #80

Triggered via push October 6, 2023 09:44
@berendtberendt
pushed 2ef31ed
main
Status Success
Total duration 1m 21s
Artifacts –

deploy.yml

on: push
Deploy to GitHub Pages
1m 12s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in