Repository navigation
Clean up the listing files - #18
Merged
AlexCatarino merged 1 commit intoOct 5, 2026
Merged
Annotations
5 errors and 1 warning
|
Checkout Lean Master
ambiguous argument 'HEAD': unknown revision or path not in the working tree.
|
|
Checkout Lean Same Branch
The process '/usr/bin/git' failed with exit code 128
|
|
Checkout Lean Same Branch
couldn't find remote ref refs/pull/18/merge
|
|
Checkout Lean Same Branch
couldn't find remote ref refs/pull/18/merge
|
|
Checkout Lean Same Branch
couldn't find remote ref refs/pull/18/merge
|
|
Checkout Lean Master
Unable to clean or reset the repository. The repository will be recreated instead.
|
background
wait
wait-all
cancel
parallel
Loading