Skip to content
Docker build and publish

Correct lexicographic ordering of items from the local vocab #1295

Sign in to view logs

Correct lexicographic ordering of items from the local vocab

Correct lexicographic ordering of items from the local vocab #1295

Triggered via pull request July 10, 2024 14:40
@joka921joka921
synchronize #1390
joka921:correct-comparison-local-vocab
Status Cancelled
Total duration 6m 29s
Artifacts –

docker-publish.yml

on: pull_request
docker
6m 19s
docker
Fit to window
Zoom out
Zoom in

Annotations

2 errors
docker
Canceling since a higher priority waiting request for 'Docker build and publish @ joka921:correct-comparison-local-vocab' exists
docker
The operation was canceled.