Some repositories couldn't be updated, please check application logs for details.
BadCredentialsException: 401 {"message": "Bad credentials", "documentation_url": "https://docs.github.com/rest", "status": "401"}

aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--.ci/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/Makefile b/.ci/Makefile
index 4897f73..f908c1f 100644
--- a/.ci/Makefile
+++ b/.ci/Makefile
@@ -201,7 +201,7 @@ echo/boost/%/exe/run: FORCE
echo/boost/%/exe/arch: FORCE
@echo ---------------------------------------------------------------------
- @echo Boost 1.$*.0: verifying boost_1_$*_0/bin/foo
+ @echo Boost 1.$*.0: checking target architecture of boost_1_$*_0/bin/foo
@echo ---------------------------------------------------------------------
echo/boost/%/finished: FORCE