Skip to content
Documentation CI & Deploy

feat: replace Noto Sans with Josefin Sans as primary font #5

Sign in to view logs

feat: replace Noto Sans with Josefin Sans as primary font

feat: replace Noto Sans with Josefin Sans as primary font #5

Triggered via pull request December 16, 2025 00:06
@IamLRBAIamLRBA
synchronize #1
IamLRBA:fonts
Status Success
Total duration 1m 15s
Artifacts –

deploy.yml

on: pull_request
Validate Documentation
1m 11s
Validate Documentation
Build Website
Build Website
Deploy to GitHub Pages
0s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in