Skip to content

Commit

Permalink
fixup! WIP deploy: check for broken links
Browse files Browse the repository at this point in the history
Let's not conflate the commit adding a check for broken links to the PR
builds with the change to verify the search results' order.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
  • Loading branch information
dscho committed Jul 3, 2024
1 parent 5215290 commit 839531e
Showing 1 changed file with 0 additions and 14 deletions.
14 changes: 0 additions & 14 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -62,17 +62,3 @@ jobs:
public/
output: lychee.md
jobSummary: true

- name: verify search results
run: |
set -x
res=0
for term in commit config log rev-parse
do
node ./script/run-pagefind.js "$term" | tee search.results >&2
grep "^1. /docs/git-$term\\.html" search.results || {
echo "::error::Search for $term failed to show the manual page first" >&2
res=1
}
done
exit $res

0 comments on commit 839531e

Please sign in to comment.