383 fix job summary - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

7 stars 2 forks source link

383 fix job summary #402

Closed deemp closed 1 month ago

deemp commented 1 month ago

Closes #383

PR-Codex overview

This PR updates the HTML generation for a report in the pipeline, adds conditional imports, and refactors the HTML generation logic.

Detailed summary

Updated HTML generation for a report in the pipeline
Added conditional imports for Prelude
Refactored HTML generation logic for improved readability

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}