Skip to content

Merge pull request #1244 from disneystreaming/dynamic-open-enums #3713

Merge pull request #1244 from disneystreaming/dynamic-open-enums

Merge pull request #1244 from disneystreaming/dynamic-open-enums #3713

Triggered via push October 8, 2023 06:59
Status Success
Total duration 24m 27s
Artifacts 6
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

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
12.2 MB
compilation-2_13_js.zip Expired
18.4 MB
compilation-2_13_jvm.zip Expired
46.7 MB
compilation-3_0_js.zip Expired
20.4 MB
compilation-3_0_jvm.zip Expired
14.3 MB
compilation-3_0_native.zip Expired
27.1 MB