Skip to content
Update Editor's Copy

Update changelog at end of document #11

Sign in to view logs

Update changelog at end of document

Update changelog at end of document #11

Triggered via push July 7, 2023 14:38
@rikard-sicsrikard-sics
pushed b87a4e5
main
Status Success
Total duration 32s
Artifacts 1

ghpages.yml

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

Artifacts

Produced during runtime
Name Size
artifact Expired
108 KB