chore: delete obsolete C++ file #48145
Annotations
7 errors
|
|
|
CCache stats
Process completed with exit code 1.
|
|
CCache stats
path '/home/runner/work/lean4/lean4' is not part of a flake (neither it nor its parent directories contain a 'flake.nix' file)
|
|
Checkout
The operation was canceled.
|
|
|
|
|
|
|
Loading