Skip to content

Merge pull request #1561 from disneystreaming/merge-018-into-019-jun14 #4623

Merge pull request #1561 from disneystreaming/merge-018-into-019-jun14

Merge pull request #1561 from disneystreaming/merge-018-into-019-jun14 #4623

Triggered via push July 24, 2024 18:37
Status Success
Total duration 15m 56s
Artifacts 6

ci.yml

on: push
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
14.3 MB
compilation-2_13_js.zip Expired
21.1 MB
compilation-2_13_jvm.zip Expired
15.5 MB
compilation-3_0_js.zip Expired
23.6 MB
compilation-3_0_jvm.zip Expired
16.9 MB
compilation-3_0_native.zip Expired
31.1 MB