Skip to content

Remove @types/uuid#1587

Open
Arnei wants to merge 1 commit into
opencast:developfrom
Arnei:remove-types-uuid
Open

Remove @types/uuid#1587
Arnei wants to merge 1 commit into
opencast:developfrom
Arnei:remove-types-uuid

Conversation

@Arnei
Copy link
Copy Markdown
Member

@Arnei Arnei commented Apr 24, 2026

Type definitions are now included within uuid, so there is no need anymore for an extra type
package

@Arnei Arnei added the type:dependencies Pull requests that update a dependency file label Apr 24, 2026
@github-actions
Copy link
Copy Markdown
Contributor

This pull request has conflicts ☹
Please resolve those so we can review the pull request.
Thanks.

Type definitions are now included within uuid, so there is no need
anymore for an extra type
package
@github-actions
Copy link
Copy Markdown
Contributor

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/admin-interface:pr-1587

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/admin-interface:pr-1587

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type:dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant