fix: case should be ignored while navigating #77

Triggered via push May 11, 2024 13:21

development

Status Success

Total duration 2m 27s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
PipManager-dev	9.71 MB