test: reproduce extension bug when nested inside a module #128
Triggered via pull request
September 19, 2023 21:10
Status
Cancelled
Total duration
10m 38s
Artifacts
–
Annotations
15 errors, 2 warnings, and 4 notices
Build (ubuntu-latest, 4.06.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2723/merge' exists
|
Build (windows-latest, 4.12.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2723/merge' exists
|
Build (windows-latest, 4.12.x)
The operation was canceled.
|
Build (macos-latest, 4.10.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2723/merge' exists
|
Build (macos-latest, 4.10.x)
The operation was canceled.
|
Build (windows-latest, 4.10.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2723/merge' exists
|
Build (windows-latest, 4.10.x)
The operation was canceled.
|
Build (windows-latest, 4.06.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2723/merge' exists
|
Build (windows-latest, 4.06.x)
The operation was canceled.
|
Build (macos-latest, 4.14.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2723/merge' exists
|
Build (macos-latest, 4.14.x)
The operation was canceled.
|
Build (macos-latest, 4.06.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2723/merge' exists
|
Build (macos-latest, 4.06.x)
The operation was canceled.
|
Build (macos-latest, 4.12.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2723/merge' exists
|
Build (macos-latest, 4.12.x)
The operation was canceled.
|
Build (windows-latest, 4.14.x)
Cache save failed.
|
Build (windows-latest, 4.12.x)
Cache save failed.
|
Build (ubuntu-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/bin/sudo' failed with exit code 100
|
Build (ubuntu-latest, 4.10.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/bin/sudo' failed with exit code 100
|
Build (ubuntu-latest, 4.12.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/bin/sudo' failed with exit code 100
|
Build (ubuntu-latest, 4.06.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/bin/sudo' failed with exit code 100
|