Coq small fixes #38
Annotations
1 error and 2 warnings
run coq - coverage
Process completed with exit code 2.
|
Run DeterminateSystems/magic-nix-cache-action@main
Failed to restore: Cache service responded with 429
|
Run DeterminateSystems/nix-installer-action@main
Failed to restore: Cache service responded with 429
|
Loading