grobidOrg / grobid / 32666616953

43%

master: 43%

push

github

build(docker): bump delft to the merged pytorch-performances revision

d351420 is "Improve pytorch performances" (#230) merged into delft master,
which also picks up the padded-token masking fixes (#231-#234). The previous
pin was the pre-merge tip of the feature branch. configure_threads() is
unchanged at this revision, so the OMP_NUM_THREADS=4 default set below still
applies exactly as measured.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01EsZnv2LBEHp5rUcTfVJdhb

10128 of 25690 branches covered (39.42%)

Branch coverage included in aggregate %.

21217 of 46365 relevant lines covered (45.76%)

1.86 hits per line