Closed georgeee closed 6 days ago
@georgeee Those toolchain were not added accidently. Ember added them to support caqti update without changing release code. It is still ok to remove them
!ci-build-me
@dkijania Ember added them to berkeley
, I still believe they shouldn't be present in develop
I believe this change was introduced accidentally. These dhall variables aren't used in
develop
branch.