Skip to content
pr

Improve synonym token filters #910

Sign in to view logs

Improve synonym token filters

Improve synonym token filters #910

Triggered via pull request May 11, 2024 21:43
@PhilippusPhilippus
opened #3066
improve-synonym-token-filters
Status Success
Total duration 4m 13s
Artifacts –

pr.yml

on: pull_request
scala-2_12
3m 43s
scala-2_12
scala-2_13
3m 45s
scala-2_13
scala-3
4m 4s
scala-3
Fit to window
Zoom out
Zoom in