diff options
author | ClementTsang <34804052+ClementTsang@users.noreply.github.com> | 2023-05-07 00:42:35 -0400 |
---|---|---|
committer | ClementTsang <34804052+ClementTsang@users.noreply.github.com> | 2023-05-07 00:42:35 -0400 |
commit | 3239bce86b873441bd207a265b7c4dea5100cd96 (patch) | |
tree | c6b9c6ba2bcfd923f0c90879eeb4f90478a19d04 | |
parent | 440e10c34d0858e60ff0befa0baa58457e05d534 (diff) |
ci: update some ci docs
-rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 38a121c6..cf35df72 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -13,7 +13,7 @@ # - cargo clippy (apparently faster to do it after the build/test) # # Unsupported platforms run the following tasks: -# - cargo check +# - cargo build # # Note that not all platforms are tested using this CI action! There are some # tested by Cirrus CI due to (free) platform limitations on GitHub. Currently, @@ -135,7 +135,7 @@ jobs: env: RUST_BACKTRACE: full - # Check running cargo build on all other platforms. + # Try running cargo build on all other platforms. # TODO: Maybe some of these should be allowed to fail. other-check: needs: pre-job |