Skip to content
📜 Haddock Site

[Plinth] [Builtins] Remove 'CaseList' and 'CaseData' (#6638) #282

Sign in to view logs

[Plinth] [Builtins] Remove 'CaseList' and 'CaseData' (#6638)

[Plinth] [Builtins] Remove 'CaseList' and 'CaseData' (#6638) #282

Triggered via push November 6, 2024 22:56
@effectfullyeffectfully
pushed 3659f16
master
Status Success
Total duration 30m 20s
Artifacts –

haddock-site.yml

on: push
Deploy
27m 12s
Deploy
Fit to window
Zoom out
Zoom in