@@ -14,9 +14,6 @@ if [ "$GITHUB_EVENT_NAME" = "schedule" ] ; then # running in scheduled job
14
14
15
15
echo " Doing full link check."
16
16
elif [ " $GITHUB_EVENT_NAME " = " pull_request" ] ; then # running in PR CI build
17
- echo " *** WARNING: linkcheck temporarily disabled due to bugs ***"
18
- exit 0
19
-
20
17
if [ -z " $BASE_SHA " ]; then
21
18
echo " error: unexpected state: BASE_SHA must be non-empty in CI"
22
19
exit 1
@@ -28,20 +25,17 @@ elif [ "$GITHUB_EVENT_NAME" = "pull_request" ] ; then # running in PR CI build
28
25
29
26
echo " Checking files changed since $BASE_SHA : $CHANGED_FILES "
30
27
else # running locally
31
- echo " *** WARNING: linkcheck temporarily disabled due to bugs ***"
32
- exit 0
33
-
34
28
COMMIT_RANGE=master...
35
29
CHANGED_FILES=$( git diff --name-only $COMMIT_RANGE | sed ' s#^src/##' | tr ' \n' ' ' )
36
30
FLAGS=" -f $CHANGED_FILES "
37
31
38
32
echo " Checking files changed in $COMMIT_RANGE : $CHANGED_FILES "
39
33
fi
40
34
41
- echo " exec mdbook-linkcheck $FLAGS "
35
+ echo " exec mdbook-linkcheck2 $FLAGS "
42
36
if [ " $USE_TOKEN " = 1 ]; then
43
37
config=$( set_github_token)
44
- exec mdbook-linkcheck $FLAGS <<< " $config"
38
+ exec mdbook-linkcheck2 $FLAGS <<< " $config"
45
39
else
46
- exec mdbook-linkcheck $FLAGS
40
+ exec mdbook-linkcheck2 $FLAGS
47
41
fi
0 commit comments