Closed BinderDavid closed 11 months ago
Fixes CI which is currently not working. Cp. https://github.com/cachix/cachix-action/issues/144
Fixes CI which is currently not working. Cp. https://github.com/cachix/cachix-action/issues/144