Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
I just pushed a build for the Docker image for https://github.com/ad-freiburg/qlever-petrimaps at
registry.zazuko.tools/ludovicm67/registry/qlever-petrimaps:latest
for now (for linux/arm64 and linux/amd64 architectures), and I used it in the Docker Compose stack.Right now the Docker image for petrimaps is not automatically built, but once it's the case, I will update the image used in the stack.
I created an issue to track this here: ad-freiburg/qlever-petrimaps#20.
The UI custom image is also configured to configure the map URL using the value of the
MAP_VIEW_BASE_URL
environment variable.This uses a script done by @NicoLaval in his PR to update values from the database, so that the UI is able to redirect the user to the expected petrimaps instance.