Skip to content

[main]: Create separate polysemy and effectful based prelude (#2662) #49

Sign in to view logs

[main]: Create separate polysemy and effectful based prelude (#2662)

[main]: Create separate polysemy and effectful based prelude (#2662) #49

Triggered via dynamic February 23, 2024 09:00
@github-codespacesgithub-codespaces[bot]
⁠ dfd664e
Status Success
Total duration 19m 42s
Artifacts –

create_codespaces_prebuilds

on: dynamic
prebuild
19m 24s
prebuild
Fit to window
Zoom out
Zoom in