Skip to content

Merge pull request #1087 from disneystreaming/namespace-keywords #3038

Merge pull request #1087 from disneystreaming/namespace-keywords

Merge pull request #1087 from disneystreaming/namespace-keywords #3038

Triggered via push July 17, 2023 13:11
Status Success
Total duration 22m 7s
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
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