Skip to content
Hop PR Build (Documentation)

Refresh explorer when switching perspective and git pull, fixes #3619 #651

Sign in to view logs

Refresh explorer when switching perspective and git pull, fixes #3619

Refresh explorer when switching perspective and git pull, fixes #3619 #651

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 25s
1m 25s