diff options
author | Andrew Gallant <jamslam@gmail.com> | 2020-04-01 21:18:04 -0400 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2020-04-01 21:18:04 -0400 |
commit | 49de7b119c95eacfdc2b15aaee3c846710776b2c (patch) | |
tree | 44afec7c710920b34add29ae18db6f97cb3ae244 /.github | |
parent | 1c4b5adb7b4a239e433d4a1dc2aa4b09ee30573d (diff) |
ci: disable man page check
It appears to be intermittently failing. Specifically, a2x seems to be
failing occasionally with no apparent reason why. The error message it
gives is inscrutable. Sigh.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e3947dbd..3bdcd645 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -165,7 +165,10 @@ jobs: shell: bash run: | outdir="$(ci/cargo-out-dir "${{ env.TARGET_DIR }}")" - for f in rg.bash rg.fish rg.1; do + # TODO: Check for the man page generation here. For whatever reason, + # it seems to be intermittently failing in CI. No idea why. + # for f in rg.bash rg.fish rg.1; do + for f in rg.bash rg.fish; do # We could use file -E here, but it isn't supported on macOS. ls "$outdir/$f" && file "$outdir/$f" done |