Skip to content

Fix objectives tab name disappearing after switching to history. #205

Fix objectives tab name disappearing after switching to history.

Fix objectives tab name disappearing after switching to history. #205

Triggered via pull request July 15, 2023 02:58
Status Success
Total duration 7m 33s
Artifacts

verify.yml

on: pull_request
Fit to window
Zoom out
Zoom in