Skip to content
Documentation CI & Deploy

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

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 #4

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

deploy.yml

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