Stream: git-wasmtime

Topic: wasmtime / PR #1714 CI: only test `peepmatic` in one job

view this post on Zulip Wasmtime GitHub notifications bot (May 15 2020 at 19:05):

fitzgen opened PR #1714 from peepmatic-one-ci-job to master:

This avoids building Z3 in most jobs, which saves CI time.

view this post on Zulip Wasmtime GitHub notifications bot (May 15 2020 at 19:05):

fitzgen requested alexcrichton for a review on PR #1714.

view this post on Zulip Wasmtime GitHub notifications bot (May 15 2020 at 19:11):

alexcrichton submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (May 15 2020 at 20:27):

fitzgen updated PR #1714 from peepmatic-one-ci-job to master:

This avoids building Z3 in most jobs, which saves CI time.

view this post on Zulip Wasmtime GitHub notifications bot (May 15 2020 at 21:35):

alexcrichton closed without merge PR #1714.

view this post on Zulip Wasmtime GitHub notifications bot (May 15 2020 at 21:35):

alexcrichton reopened PR #1714 from peepmatic-one-ci-job to master:

This avoids building Z3 in most jobs, which saves CI time.

view this post on Zulip Wasmtime GitHub notifications bot (May 16 2020 at 01:27):

alexcrichton updated PR #1714 from peepmatic-one-ci-job to master:

This avoids building Z3 in most jobs, which saves CI time.

view this post on Zulip Wasmtime GitHub notifications bot (May 16 2020 at 01:36):

alexcrichton updated PR #1714 from peepmatic-one-ci-job to master:

This avoids building Z3 in most jobs, which saves CI time.

view this post on Zulip Wasmtime GitHub notifications bot (May 16 2020 at 02:16):

alexcrichton merged PR #1714.

Last updated: Oct 23 2024 at 20:03 UTC