Skip to content

Merge pull request #21 from ArneBinder/token_document_types #13

Merge pull request #21 from ArneBinder/token_document_types

Merge pull request #21 from ArneBinder/token_document_types #13

Triggered via push December 20, 2023 14:19
Status Success
Total duration 17s
Artifacts

labeler.yml

on: push
labeler
8s
labeler
Fit to window
Zoom out
Zoom in