« first day (2425 days earlier)      last day (1284 days later) » 

04:41
@copy What rust project do you use github CI on ? And why exactly ?
 
1 hour later…
05:52
@DenysSéguret One script runs tests on every pull request and on the master branch. I wrote this myself mostly to reduce the time spent testing and reviewing PRs (and pointing out that they forgot to run cargo fmt).
Another script was contributed and creates a github release from the master branch (since v86 is rolling, it'll only have the last build at a time). It only builds on Linux, since v86 is wasm-only, but from what I hear building OSX and Windows is pretty easy on github CI. It's nice because people used to ping me about releases every now and then and I don't need to do anthing to trigger this.
The problem I have with releases is that more than half the times I attempt them they fail because of a problem on a specific target and I have to fix that. Having to commit and send to the CI for all attempts would be messy IMO. In my JS projects I like to have the unit tests and lints being ran on PR because it's harder to enforce correctness from contributors but I don't reproduce this in Rust for various reasons. I've yet in Rust to see a case where I'd prefer tasks to be ran on the CI
But I would probably have a different opinion if I had as many contributors than what you have on V86
Right, makes sense. The only reason I brought it up is because you mentioned releasing for many platforms, and I remember you having quite a few rust projects, so I thought you could save some time by automating those releases. But of course if CI doesn't work well, it might be more of a work fixing it than the time saved.
06:42
In fact broot did have some Travis integration at some point but it was more of a nuisance. I'd 100% use a CI in a project with lot of contributors and some plausible problems that can be caught by tests, lints, or some special compilation
 
1 hour later…
07:48
What's the
pub struct A { type M : Eq + PartialOrd; }
in the last question ?
Yeah, it is unclear.
 
1 hour later…

« first day (2425 days earlier)      last day (1284 days later) »