objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
7 stars 2 forks source link

411 Fix report directory #412

Closed deemp closed 1 month ago

deemp commented 1 month ago

PR-Codex overview

The focus of this PR is to address an issue where the GitHub action was not saving the entire pipeline directory. It adds a dummy path to prevent triggering a wildcard case.

Detailed summary

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