Marcello Seri comments

Results 435 comments of


                                            Marcello Seri

Publish Mirage/Unikraft packages v1.0.0

Thanks

Please come up with an alternative to 'available: os != "win32"' for Windows packages failing CI

> Another thing we could try, unless it becomes too disruptive, is that _existing_ packages should not be constrained away from Windows in other PRs - i.e. let's open an...

[new release] jsonschema (0.1.0)

Please upstream those fixes and have a look at the tests failures, those are reliably failing everywhere: [tests (failed: The compilation of jsonschema.0.1.0 failed at "dune build -p jsonschema -j...

[new release] jsonschema (0.1.0)

Indeed, these need to be added to the tarball if you want to use them. I'll disable the tests

[new release] jsonschema (0.1.0)

Thanks

[new release] lzo (0.0.3)

I think for 32 bits is enough to mark it unavailable

[new release] lzo (0.0.3)

Thanks

remove rust-llvm depext for conf-rust-llvm in ubuntu

@zapashcanon do you know in which version of ubuntu it started being provided by the rustc package? I could not find it

remove rust-llvm depext for conf-rust-llvm in ubuntu

I don’t see it being installed in the ci. It fails to find rust-lld

remove rust-llvm depext for conf-rust-llvm in ubuntu

> Isn't it simply because you removed it from Debian? It was installing it in the beginning and I suspect something is going on between Debian and Ubuntu. Are packages...