Skip to content

Merge series/0.17 into series/0.18 again #3048

Merge series/0.17 into series/0.18 again

Merge series/0.17 into series/0.18 again #3048

Triggered via pull request July 17, 2023 22:15
Status Success
Total duration 16m 10s
Artifacts 6
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

Artifacts

Produced during runtime
Name Size
compilation-2_12_jvm.zip Expired
10 MB
compilation-2_13_js.zip Expired
15.3 MB
compilation-2_13_jvm.zip Expired
11.3 MB
compilation-3_0_js.zip Expired
17.1 MB
compilation-3_0_jvm.zip Expired
12.1 MB
compilation-3_0_native.zip Expired
22.5 MB