Skip to content

Improve ADT validators' performance #4956

Improve ADT validators' performance

Improve ADT validators' performance #4956

Triggered via pull request March 6, 2025 20:00
Status Cancelled
Total duration 11m 20s
Artifacts 2

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

8 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 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.
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.

Artifacts

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