Skip to content
lint-pr

chore: rename r/system -> r/sys #7491

Sign in to view logs

chore: rename r/system -> r/sys

chore: rename r/system -> r/sys #7491

Triggered via pull request April 18, 2024 10:33
@moul-botmoul-bot
synchronize #1948
Status Success
Total duration 14s
Artifacts –

lint-pr.yml

on: pull_request_target
pr-title
4s
pr-title
Fit to window
Zoom out
Zoom in