Skip to content

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

Make area jump work even if not specifying a area name

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

Triggered via pull request December 7, 2023 23:50
Status Success
Total duration 7m 6s
Artifacts

ci.yml

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