objectionary / normalizer

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

chore(eo): bump version 0.38.0 -> 0.38.3 #398

Open deemp opened 1 month ago

deemp commented 1 month ago

Closes #397

TODO


PR-Codex overview

This PR updates eolang to version 0.21.1, adds --home-tag=0.38.2 to eo function, and modifies various .phi files in eo-phi-normalizer.

Detailed summary

The following files were skipped due to too many changes: eo-phi-normalizer/data/0.38.3/org/eolang/bytes.phi, eo-phi-normalizer/data/0.38.3/org/eolang/tuple.phi, eo-phi-normalizer/data/0.38.3/org/eolang/float.phi, eo-phi-normalizer/data/0.38.3/org/eolang/positive-infinity.phi, eo-phi-normalizer/data/0.38.3/org/eolang/negative-infinity.phi

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

deemp commented 1 month ago

@maxonfjvipon, I got an error about a missing EO object (link).

Here's an artifact (link) with files generated during the pipeline run (except some .eoc files).

The pipeline directory structure is described on our site (link).

For now, I have no idea how to search for a problematic file that triggers this error. Could you please advise how to search for it? Or, better, could you please improve the error message on your side?

You can use https://github.com/mxschmitt/action-tmate if you need to see what happens on a runner.

maxonfjvipon commented 1 month ago

@deemp could you please provide an artifact with all files from .eoc directory?

deemp commented 1 month ago

@maxonfjvipon, see https://github.com/objectionary/normalizer/actions/runs/9451215173/artifacts/1586079288