Anton Trunov

I was going to switch to GitHub Actions and add those afterwards, but for now we can add a new stage to `.travis.yml` and build the deps.

Linking here a more general related issue on incremental compilation: https://github.com/FuelLabs/sway/issues/3381

Good point! What would be a typical workaround for lists of arguments with a separator where the separator should not appear at the end, i.e. `foo, bar, baz`? I think...

Perhaps it would make sense to run benchmarks on the projects from https://github.com/FuelLabs/sway-applications, instead of the Sway test suite?

> silencing warnings like Notation [...] was already used in scope nat_scope. when we made the overloading on purpose? @CohenCyril Adding the following line in `Make` files silences the notation...

I have the same issue. `git bisect` shows that 75f1d915a8be3c5cc9485341d4bbd871a2ca6e82 is what causes it.

@mkleehammer Thanks for sharing! Unfortunately, it didn't work for me since some of my layers rely on external utilities (e.g. `ocaml` layer relies on `opam` and `merlin` executables). So, instead...

@syl20bnr Thanks a bunch for looking into this issue! It's much appreciated. I'm working on a layer for the Lean theorem prover and looking forward to be able to contribute...

Sounds like a great plan! Best of luck!

Let me make a couple of observations: `coq-mathcomp-ssreflect` package is about 15 kLoC (i.e. not huge) and the SSReflect proof language and several basic libraries are now in the standard...