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 Greetings

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

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

Triggered via pull request May 10, 2025 01:16
@fountafounta
synchronize #30030
Status Success
Total duration 25s
Artifacts –

pr_welcome.yml

on: pull_request_target
greeting
17s
greeting

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.