Skip to content
Update Editor's Copy

Removing "OPTIONAL" keyword #308

Sign in to view logs

Removing "OPTIONAL" keyword

Removing "OPTIONAL" keyword #308

Triggered via push December 18, 2023 14:17
@hannestschofenighannestschofenig
pushed 4864c62
hannestschofenig-patch-4
Status Success
Total duration 27s
Artifacts 1

ghpages.yml

on: push
Update Editor's Copy
19s
Update Editor's Copy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
artifact Expired
143 KB