Implement `Union` that can keep sort order #3441

Triggered via pull request February 25, 2025 11:04

RobinTF

opened #1834

RobinTF:sorted-union

Status Success

Total duration 32m 34s

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~QI7T9T.dockerbuild	196 KB