HTML writer: unwrap incremental divs without other attributes #6154

Sign in to view logs

Triggered via pull request October 23, 2024 15:31

tarleb

opened #10330

tarleb:html-incremental-div

Status Success

Total duration 24m 21s

Artifacts –

ci.yml

on: pull_request

linux-nix-cabal

Matrix: linux