Skip to content

chore: let add_definition_location take a Location #24758

chore: let add_definition_location take a Location

chore: let add_definition_location take a Location #24758

Triggered via pull request January 24, 2025 19:32
@asteriteasterite
opened #7185
Status Success
Total duration 12s
Artifacts

pull-request-title.yml

on: pull_request_target
Validate PR title is Conventional Commit
2s
Validate PR title is Conventional Commit
Warn external contributors about force-pushing
0s
Warn external contributors about force-pushing
Fit to window
Zoom out
Zoom in