Skip to content

REPL: fix projname when project_file is missing #24901

REPL: fix projname when project_file is missing

REPL: fix projname when project_file is missing #24901

Triggered via pull request June 25, 2024 06:07
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