With portal-ui PR 2382, these images are now on S3.
Images for portal-ui
We want to avoid checking large binary files into the source code for portal-ui. This may be moved to a CDN eventually, but not a high priority.
This repository has been archived by the owner on Jan 28, 2022. It is now read-only.