Skip to content

pure ide: improvements (#3643) #1941

pure ide: improvements (#3643)

pure ide: improvements (#3643) #1941

Triggered via push November 3, 2024 23:10
Status Success
Total duration 2m 43s
Artifacts 1
Build Documentation Site
2m 17s
Build Documentation Site
Deploy Documentation Site
7s
Deploy Documentation Site
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
192 KB