Clean up the listing files and demos - #16
Merged
AlexCatarino merged 4 commits intoSep 25, 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/16/merge
|
|
Checkout Lean Same Branch
couldn't find remote ref refs/pull/16/merge
|
|
Checkout Lean Same Branch
couldn't find remote ref refs/pull/16/merge
|
|
Checkout Lean Master
Unable to clean or reset the repository. The repository will be recreated instead.
|
background
wait
wait-all
cancel
parallel
Loading