panglesd / odoc / 1134

Builds Branch Commit Type Ran Committer Via Coverage
1134 fix-box-model Code blocks: Warn when content is not indented enough push panglesd github
73.43
1133 fix-box-model Code block: set expected indentation to be the opening `{` push panglesd github
73.43
1132 fix-box-model Code blocks: more breaking change, more consistent box model push panglesd github
73.42
1131 fix-box-model Fix cases when the box model is not applicable push panglesd github
73.41
1130 fix-open-files-in-occurrence Fix unclosed open file when counting occurrences push panglesd github
73.42
1129 extract-code-blocks Parser: add test for layout push panglesd github
73.43
1128 extract-code-blocks Fix cases when the box model is not applicable push panglesd github
73.41
1127 header-in-json-output Changelog entry for #1314 push panglesd github
73.42
1126 header-in-json-output Json output: add header push panglesd github
73.42
1125 driver-redirections Driver: add status.json generation for normal mode push panglesd github
73.4
1124 driver-redirections Driver: status.json: add pkg name, version and list of files push panglesd github
73.4
1123 fix-emoji 4.08 tests push panglesd github
73.41
1122 fix-emoji Driver: use `--home-breadcrumb` CLI push panglesd github
73.41
1121 fix-emoji CLI: let the driver choose the index name push panglesd github
73.41
1118 driver-redirections Driver voodoo mode: generation of a status.json with redirections push panglesd github
73.4