diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-08-26 10:19:24 +0200 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-08-26 10:21:15 +0200 |
commit | 29019d4997d53ac083159fb0d757bbb2222556e2 (patch) | |
tree | 7711e7c440d64460e2ae6521625c987f49f31941 /.github | |
parent | 4cffb5c0415b163c6c11d5505ff994b7270cdbc0 (diff) |
ci: move `cargo build` to its own step
On GitHub Actions each step needs to be expanded manually to see the
logs, and the previous "Validate the repository contents" step both
compiled the validation tool and ran it. Most of the failures happen
during the validation step, so people wanting to see the cause of the
failure had to scroll a lot.
This splits the validation in two steps: first the tool is built, and
then it's run, fixing the issue.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/main.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index d5bb822..ecbb064 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -17,6 +17,9 @@ jobs: rustup default stable rustc -vV + - name: Build the validation tool + run: cargo build + - name: Validate the repository contents run: cargo run -- check --strict env: |