ci: update some ci docs

This commit is contained in:
ClementTsang 2023-05-07 00:42:35 -04:00
parent 440e10c34d
commit 3239bce86b
No known key found for this signature in database
GPG Key ID: DC3B7867D8D97095
1 changed files with 2 additions and 2 deletions

View File

@ -13,7 +13,7 @@
# - cargo clippy (apparently faster to do it after the build/test) # - cargo clippy (apparently faster to do it after the build/test)
# #
# Unsupported platforms run the following tasks: # Unsupported platforms run the following tasks:
# - cargo check # - cargo build
# #
# Note that not all platforms are tested using this CI action! There are some # 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, # tested by Cirrus CI due to (free) platform limitations on GitHub. Currently,
@ -135,7 +135,7 @@ jobs:
env: env:
RUST_BACKTRACE: full 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. # TODO: Maybe some of these should be allowed to fail.
other-check: other-check:
needs: pre-job needs: pre-job