[vendor] Bump Coq #1924
ejgallegoAnnotations
1 warning and 1 notice
|
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.
|
|
build (macos-latest, 4.14.x)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/local/bin/brew' failed with exit code 1
|