Skip to content
DepTyCheck

[ derive, test ] Move generator's printer to the main lib + cleanup #1502

Sign in to view logs

[ derive, test ] Move generator's printer to the main lib + cleanup

[ derive, test ] Move generator's printer to the main lib + cleanup #1502

Test the lib (derivation/utils/up-to-renaming-ttimp-eq)

Test the lib (derivation/utils/up-to-renaming-ttimp-eq)
succeeded Aug 29, 2024 in 1m 9s