Merge pull request #555 from ejgallego/fcc_coqlib #1715
ejgallegoAnnotations
2 errors and 1 warning
|
build (macos-latest, 4.14.x)
Canceling since a higher priority waiting request for 'Github CI @ refs/heads/main' exists
|
|
build (macos-latest, 4.14.x)
The operation was canceled.
|
|
build (Windows Latest, 4.14, windows-latest)
Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|