Fix distinct unsoundness #829
build.yml
on: pull_request
Make all
15m 24s
Make package release
12m 42s
Matrix: build
Annotations
2 errors, 1 warning, and 3 notices
build (ubuntu-latest, 4.10.1)
Process completed with exit code 2.
|
build (macos-latest, 4.10.1)
Process completed with exit code 2.
|
Make all
The following actions uses node12 which is deprecated and will be forced to run on node16: getsentry/action-git-diff-suggestions@main. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-latest, 4.10.1)
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/bin/sudo' failed with exit code 100
|
Make package release
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/bin/sudo' failed with exit code 100
|
Make all
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/bin/sudo' failed with exit code 100
|