Stream: git-wasmtime

Topic: wasmtime / PR #2012 CI: Rearrange CI jobs from longest-ru...


view this post on Zulip Wasmtime GitHub notifications bot (Jul 13 2020 at 16:29):

fitzgen opened PR #2012 from ci-reordering to main:

Because CI jobs are spawned in order, this should better take advantage of job
parallelism, so we don't wait on a single long-running job at the end of CI.

The exception is a couple of the quick checks that we want to get out of
the way immediately. These are things where the turn around time is really fast
and we want to be notified of them ASAP so we can fix them and re-push. Right
now these are the rustfmt style checking and the "checks" build.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Jul 13 2020 at 16:29):

fitzgen requested alexcrichton for a review on PR #2012.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 13 2020 at 17:00):

fitzgen closed without merge PR #2012.


Last updated: Oct 23 2024 at 20:03 UTC