Skip to content
Deploy to GitHub Pages

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

Sign in to view logs

Merge remote-tracking branch 'origin/main'

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

Triggered via push September 9, 2024 20:41
@johanohlyjohanohly
pushed 8029341
main
Status Success
Total duration 11s
Artifacts –

deploy-docs.yml

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