search

opencast / opencast-admin-interface

A modern admin user interface for Opencast
https://admin-interface.opencast.org
Educational Community License v2.0
1 stars 23 forks source link

Fix height of filters #831

Closed dennis531 closed 4 months ago

dennis531 commented 4 months ago

Basically adds flexbox to elements and removes some useless <span>.

Close #804 Close #803

github-actions[bot] commented 4 months ago

Use docker or podman to test this pull request locally.

Run test server using develop.opencast.org as backend:

podman run --rm -it -p 127.0.0.1:3000:3000 ghcr.io/opencast/opencast-admin-interface:pr-831

Specify a different backend like stable.opencast.org:

podman run --rm -it -p 127.0.0.1:3000:3000 -e PROXY_TARGET=https://stable.opencast.org ghcr.io/opencast/opencast-admin-interface:pr-831

It may take a few seconds for the interface to spin up. It will then be available at http://127.0.0.1:3000. For more options you can pass on to the proxy, take a look at the README.md.

github-actions[bot] commented 4 months ago

This pull request is deployed at test.admin-interface.opencast.org/831/2024-07-13_10-34-47/ . It might take a few minutes for it to become available.

dennis531 commented 4 months ago

@lkiesow Thanks for these suggestions. It looks much better now.