Skip to content

fix: make erased names in simp clickable #4551

fix: make erased names in simp clickable

fix: make erased names in simp clickable #4551

Triggered via pull request May 15, 2024 14:01
Status Success
Total duration 13s
Artifacts

pr-title.yml

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