Skip to content

chore: Backport #4831 to web (#4833) #808

chore: Backport #4831 to web (#4833)

chore: Backport #4831 to web (#4833) #808

Triggered via push August 17, 2024 17:58
Status Success
Total duration 7m 12s
Artifacts 1

publish-web.yaml

on: push
build-web  /  build-web
6m 35s
build-web / build-web
build-web  /  build-codemirror-demo
13s
build-web / build-codemirror-demo
deploy-web
7s
deploy-web
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
6.46 MB