Skip to content

Make area jump work even if not specifying a area name #487

Make area jump work even if not specifying a area name

Make area jump work even if not specifying a area name #487

Triggered via pull request December 7, 2023 23:53
@RepedeRepede
synchronize #1333
areajumpfix
Status Success
Total duration 7m 0s
Artifacts

ci.yml

on: pull_request
Integration Tests
0s
Integration Tests
Fit to window
Zoom out
Zoom in