Skip to content

Improve ADT validators' performance #4962

Improve ADT validators' performance

Improve ADT validators' performance #4962

Triggered via pull request March 10, 2025 17:37
Status Cancelled
Total duration 8m 52s
Artifacts 1

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

10 errors
Test 3_0 (jvm)
Canceling since a higher priority waiting request for 'ci-refs/pull/1573/merge' exists
Test 3_0 (jvm)
The operation was canceled.
Test 3_0 (native)
Canceling since a higher priority waiting request for 'ci-refs/pull/1573/merge' exists
Test 3_0 (native)
The operation was canceled.
Test 3_0 (js)
Canceling since a higher priority waiting request for 'ci-refs/pull/1573/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/1573/merge' exists
Test 2_12 (jvm)
The operation was canceled.
Test 2_13 (jvm)
Canceling since a higher priority waiting request for 'ci-refs/pull/1573/merge' exists
Test 2_13 (jvm)
The operation was canceled.

Artifacts

Produced during runtime
Name Size
compilation-2_13_js.zip
21.6 MB