Skip to content
PR to merge into the next version

Merge pull request #961 from JetBrains/feature/querylist_index #136

Sign in to view logs

Merge pull request #961 from JetBrains/feature/querylist_index

Merge pull request #961 from JetBrains/feature/querylist_index #136

Triggered via push October 6, 2024 13:49
@alexanderpannalexanderpann
pushed 7393256
maintenance/mps20223
Status Success
Total duration 13s
Artifacts –

PR-into-next-version.yml

on: push
create-pr  /  create-pr
4s
create-pr / create-pr
Fit to window
Zoom out
Zoom in