glossary_types.py: remove GlossaryExtendedType
, update `ReaderGloss…
#702
Job | Run time |
---|---|
1m 30s | |
1m 47s | |
1m 31s | |
1m 30s | |
6m 18s |
GlossaryExtendedType
, update `ReaderGloss…
#702
Job | Run time |
---|---|
1m 30s | |
1m 47s | |
1m 31s | |
1m 30s | |
6m 18s |