Fix htmlpty (#113)

* Fix htmlpty

* Install the local htmlpty

.github/workflows/ci.yml

@@ -40,7 +40,7 @@ jobs:
  run: |
  echo "::group::Install dependencies"
  set -o pipefail
- cargo install htmlpty --locked --git https:/saethlin/miri-tools
+ cargo install htmlpty --locked --path htmlpty
  set +e
  echo "::endgroup"
  htmlpty bash ci.sh ${{ matrix.suite }} 2> output.html

htmlpty/src/main.rs

@@ -30,17 +30,16 @@ fn main() {
 
  let mut buf = [0u8; 4096];
  let mut stdout = stdout().lock();
- let mut renderer = ansi_to_html::Handle::new();
+ let stderr = stderr().lock();
+ let mut renderer = ansi_to_html::Handle::new(stderr);
  while let Ok(n) = pty.read(&mut buf) {
  let bytes = &buf[..n];
  stdout.write_all(bytes).unwrap();
  renderer.write_all(bytes).unwrap();
  }
 
  stdout.flush().unwrap();
- let mut stderr = stderr().lock();
- renderer.finish(&mut stderr).unwrap();
- stderr.flush().unwrap();
+ renderer.finish().unwrap();
 
  // Exit according to our child's status
  // SAFETY: No preconditions