nix is having issues that I don't understand

itauto is broken due to https://gitlab.inria.fr/fbesson/itauto/-/commit/e684402c5887dfd55f2e9e4fa7491d0c0ea50382 (AFAICT)

vst is broken due to https://github.com/AbsInt/CompCert/pull/513 (AFAICT)

vscoq is waiting for https://github.com/coq-community/vscoq/pull/787

Yeah quite unfortunate

Thanks a lot. With @Pierre Roux, we were very confused by the VST failure. We did not think it could come from CompCert. It now makes a lot more sense.

@Cyril Cohen do you have a clue about Cachix ? (I remember you had a look last week for matchomp, but it seems Coq CI doesn't use the github action)

"matchomp", I have to remember this one :-)

Cachix github actions have to be updated. Maybe the same problem that required the actions to be updated is happening in the CI. Can I get a pointer to the failing CI?

https://gitlab.inria.fr/coq/coq/-/jobs/4446462

Guillaume Melquiond said:

"matchomp", I have to remember this one :-)

Mathcomp in Coq CI is fine since it's not using Nix. I was refering to mathcomp's own CI, based on Nix. What's broken in Coq CI is the job that builds the Coq Nix package and caches the binary result with cachix (for use with other CIs).

vscoq also needs https://github.com/coq-community/vscoq/pull/778

and windows CI is broken too

```
# File "ide/coqide/coqide_WIN32.ml.in", line 51, characters 37-68:
# Error: Unbound value Glib.Io.channel_of_descr_socket
```

maybe related to https://github.com/garrigue/lablgtk/pull/176 / recent lablgtk release

There is a new release of labglgtk3 indeed just a few days ago

The nix job is still broken as of today. Does anybody have the least idea of what should be done to fix it?

last failure on master, just in case this triggers some goodwill: https://gitlab.inria.fr/coq/coq/-/jobs/4468130

Here was the fix on coq-nix-toolbox: https://github.com/coq-community/coq-nix-toolbox/pull/224/files so I guess the difference between those two actions could provide a path toward a solution.

Let's see if updating nixpkgs works: https://github.com/coq/coq/pull/19256

Apparently https://github.com/coq/coq/pull/19256 fixes it if anyone wants to merge

why stll draft?

because I forgot to undraft

Last updated: Oct 13 2024 at 01:02 UTC