Skip to content

Merge series/0.17 into series/0.18 again #3023

Merge series/0.17 into series/0.18 again

Merge series/0.17 into series/0.18 again #3023

Triggered via pull request July 15, 2023 03:08
Status Cancelled
Total duration 2m 29s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
Matrix: build
Publish Docs Microsite
0s
Publish Docs Microsite
build-success-checkpoint
0s
build-success-checkpoint
Release
0s
Release
Fit to window
Zoom out
Zoom in

Annotations

12 errors
Test 2_13 (jvm)
Canceling since a higher priority waiting request for 'ci-refs/pull/1089/merge' exists
Test 2_13 (jvm)
The operation was canceled.
Test 3_0 (js)
Canceling since a higher priority waiting request for 'ci-refs/pull/1089/merge' exists
Test 3_0 (js)
The operation was canceled.
Test 2_12 (jvm)
Canceling since a higher priority waiting request for 'ci-refs/pull/1089/merge' exists
Test 2_12 (jvm)
The operation was canceled.
Test 3_0 (jvm)
Canceling since a higher priority waiting request for 'ci-refs/pull/1089/merge' exists
Test 3_0 (jvm)
The operation was canceled.
Test 2_13 (js)
Canceling since a higher priority waiting request for 'ci-refs/pull/1089/merge' exists
Test 2_13 (js)
The operation was canceled.
Test 3_0 (native)
Canceling since a higher priority waiting request for 'ci-refs/pull/1089/merge' exists
Test 3_0 (native)
The operation was canceled.