search

robur-coop / albatross

Albatross: orchestrate and manage MirageOS unikernels with Solo5
ISC License
141 stars 17 forks source link

nix update opam-repository #178

Open hannesm opened 6 days ago

hannesm commented 6 days ago

Dear @Julow, would you mind to do the magic so that the nix stuff uses a more up-to-date opam-repository? The current CI fails since it uses an opam-repository that points to unavailable tarballs (due to git.robur.coop being not available). Thanks a lot.

Julow commented 6 days ago

Hi, thanks for pinging and sorry that the nix files are causing problems.

I've written down the commands needed to update the inputs in flake.nix in https://github.com/robur-coop/albatross/pull/179 but that requires having Nix installed. I think it should be possible to make a Github Action that do that when trigerred manually from the Actions tab. What do you think ?

hannesm commented 6 days ago

I've written down the commands needed to update the inputs in flake.nix in #179 but that requires having Nix installed. I think it should be possible to make a Github Action that do that when trigerred manually from the Actions tab. What do you think ?

Thanks a log. Indeed, a Github action for doing this would be great!