Back to pull request #761

Rename 'advices' to 'hints' #118

Sign in to view logs

Triggered via pull request October 17, 2023 00:10

opened #761

ap/rename-advices-to-hints

Status Skipped

Total duration 3s

Artifacts –

merge_group.yml

on: pull_request