Skip to content
Deploy to GitHub Pages

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

Sign in to view logs

Merge remote-tracking branch 'origin/main'

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

Triggered via push September 11, 2024 21:13
@johanohlyjohanohly
pushed c7ff41b
main
Status Success
Total duration 18s
Artifacts –

deploy-docs.yml

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