Implement comparison of two geo points #3375

Triggered via pull request February 18, 2025 16:35

joka921

synchronize #1801

geo-point-comparison

Status Success

Total duration 38m 39s

Artifacts 1

docker-publish.yml

on: pull_request

1 warning

The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101

Produced during runtime

Name	Size
ad-freiburg~qlever~LUMYZI.dockerbuild	193 KB