From 3239bce86b873441bd207a265b7c4dea5100cd96 Mon Sep 17 00:00:00 2001
From: ClementTsang <34804052+ClementTsang@users.noreply.github.com>
Date: Sun, 7 May 2023 00:42:35 -0400
Subject: [PATCH] ci: update some ci docs

---
 .github/workflows/ci.yml | 4 ++--
 1 file 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