@hogepodge thanks for doing the work on enabling nightly packages.
I got a question about the names of the packages: why do we need to have different names, as in tlcpack and tlcpack-nightly being published as different things?
1 Like