Skip to content
Mirror to EBRAINS

Allow user to change editor size #66

Sign in to view logs

Allow user to change editor size

Allow user to change editor size #66

Triggered via push January 25, 2024 15:44
@apdavisonapdavison
pushed f5cc9a7
master
Status Success
Total duration 20s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ebrains.yml

on: push
to_ebrains
9s
to_ebrains
Fit to window
Zoom out
Zoom in