Closed Niols closed 9 months ago
Fix Cachix instance: we push to morbig, not scd-niols-fr (to which we do not have access anyways) Also bump the version of install-nix-action from 22 to 23.
morbig
scd-niols-fr
install-nix-action
The error in CI is unrelated to this PR. Hopefully, odoc will get fixed and the error will simply go away.
odoc
Fix Cachix instance: we push to
morbig
, notscd-niols-fr
(to which we do not have access anyways) Also bump the version ofinstall-nix-action
from 22 to 23.