Skip to content
Deploy Documentation to GitHub Pages

Merge pull request #238 from hawk-digital-environments/development #13

Sign in to view logs

Merge pull request #238 from hawk-digital-environments/development

Merge pull request #238 from hawk-digital-environments/development #13

Triggered via push November 2, 2025 05:38
@NeunerleiNeunerlei
pushed e1f2723
main
Status Success
Total duration 1m 11s
Artifacts 1

publish-documentation.yml

on: push
Build Docusaurus
53s
Build Docusaurus
Deploy to GitHub Pages
8s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
1.26 MB
sha256:6ac5a8108e46a97c1d4a30b460c210993069cbb49b586b6d9b7e5ac7ef745ecb