Skip to content

Replace use of pytools.Record with dataclass #304

Replace use of pytools.Record with dataclass

Replace use of pytools.Record with dataclass #304

Documentation

succeeded Apr 27, 2024 in 41s