Skip to content

REPL: fix projname when project_file is missing #24415

REPL: fix projname when project_file is missing

REPL: fix projname when project_file is missing #24415

Triggered via pull request June 14, 2024 14:50
Status Failure
Total duration 27s
Artifacts

LabelCheck.yml

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

Annotations

1 error
Check for blocking labels
A PR should not be merged with `needs *` or `DO NOT MERGE` labels