Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
PR cleanliness

Add "sans" alias to rc() to allow users to set font.sans-serif #18784

Sign in to view logs

Add "sans" alias to rc() to allow users to set font.sans-serif

Add "sans" alias to rc() to allow users to set font.sans-serif #18784

Triggered via pull request May 10, 2025 01:16
@fountafounta
synchronize #30030
founta:sans-serif-alias
Status Success
Total duration 28s
Artifacts –

clean_pr.yml

on: pull_request
pr_clean
22s
pr_clean

Oh hello! Nice to see you.

Made with ❤️ by humans.txt

Fit to window
Zoom out
Zoom in
Morty Proxy This is a proxified and sanitized view of the page, visit original site.