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 | |
| 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.
| -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 |