Skip to content
Docker Image CI

Merge pull request #1139 from OCR-D/bagger-filegrp-filter #88

Sign in to view logs

Merge pull request #1139 from OCR-D/bagger-filegrp-filter

Merge pull request #1139 from OCR-D/bagger-filegrp-filter #88

Triggered via push November 23, 2023 12:18
@kbakba
pushed b32f776
master
Status Success
Total duration 5m 10s
Artifacts –

docker-image.yml

on: push
build
5m 2s
build
Fit to window
Zoom out
Zoom in