Skip to content
GitHub Pages Deploy

docs: update editor font and dependencies #267

Sign in to view logs

docs: update editor font and dependencies

docs: update editor font and dependencies #267

Triggered via push July 27, 2026 00:00
@jtkieseljtkiesel
pushed a4a0090
main
Status Success
Total duration 1m 32s
Artifacts 1

github-pages-deploy.yml

on: push
Build Docusaurus
1m 16s
Build Docusaurus
Deploy to GitHub Pages
9s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
771 KB
sha256:bd642c56d22c66771c8f73639feb8439d3d8029a4b5a5e15f6db999f1806853d