Skip to content

REPL: fix projname when project_file is missing #24422

REPL: fix projname when project_file is missing

REPL: fix projname when project_file is missing #24422

Triggered via pull request June 14, 2024 17:10
Status Success
Total duration 23s
Artifacts

LabelCheck.yml

on: pull_request
Check for blocking labels
15s
Check for blocking labels
Fit to window
Zoom out
Zoom in