Skip to content

#218 - feat: change editor font to Source Code Pro @feat/update-editor-font:df6c804ab0af2fdbdecbbdf75f4e211e640fbc58 #132

#218 - feat: change editor font to Source Code Pro @feat/update-editor-font:df6c804ab0af2fdbdecbbdf75f4e211e640fbc58

#218 - feat: change editor font to Source Code Pro @feat/update-editor-font:df6c804ab0af2fdbdecbbdf75f4e211e640fbc58 #132

Triggered via pull request August 6, 2023 04:58
Status Success
Total duration 5m 12s
Artifacts 7
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pr-build.yml

on: pull_request
Matrix: instantiate-check-runs
Matrix: build-bundle
conclusion
5s
conclusion
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
daed-full-src.zip Expired
136 MB
daed-linux-arm64 Expired
46.1 MB
daed-linux-armv5 Expired
46.1 MB
daed-linux-armv6 Expired
46.1 MB
daed-linux-armv7 Expired
46 MB
daed-linux-x86_64 Expired
47.6 MB
web Expired
15.9 MB