Skip to content
Deploy to GitHub Pages

Merge remote-tracking branch 'origin/main' #71

Sign in to view logs

Merge remote-tracking branch 'origin/main'

Merge remote-tracking branch 'origin/main' #71

Triggered via push September 19, 2024 11:34
@johanohlyjohanohly
pushed 53e0c82
main
Status Success
Total duration 11s
Artifacts –

deploy-docs.yml

on: push
pre-checks
2s
pre-checks
Build Docs
0s
Build Docs
Deploy to GitHub Pages
0s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in