Skip to content
Docker build and publish

Make empty path return empty set when the graph is empty #3317

Sign in to view logs

Make empty path return empty set when the graph is empty

Make empty path return empty set when the graph is empty #3317

Triggered via pull request February 14, 2025 17:35
@RobinTFRobinTF
synchronize #1806
RobinTF:fix-empty-path-pattern-match
Status Success
Total duration 32m 54s
Artifacts 1

docker-publish.yml

on: pull_request
docker
32m 30s
docker
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
docker
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
docker
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists

Artifacts

Produced during runtime
Name Size
ad-freiburg~qlever~HJ03UI.dockerbuild
193 KB