Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

27 fix pipeline #28

Merged
merged 9 commits into from
Jan 15, 2024
Merged

27 fix pipeline #28

merged 9 commits into from
Jan 15, 2024

Conversation

deemp
Copy link
Member

@deemp deemp commented Jan 11, 2024

Closes #27


PR-Codex overview

This PR focuses on updating the EO version and making changes to the pipeline script.

Detailed summary

  • Updated the EO version from 0.34.2 to 0.34.3.
  • Added a step to install EO before running the pipeline.
  • Modified the pipeline script to include additional steps for normalization and printing expressions.
  • Added a Perl command to remove trailing newline in the output file.
  • Added a diff command to compare the Phi expressions before and after normalization.

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

@deemp deemp linked an issue Jan 11, 2024 that may be closed by this pull request
3 tasks
@deemp deemp requested a review from fizruk January 13, 2024 17:31
pipeline.sh Show resolved Hide resolved
@fizruk fizruk merged commit 921047e into master Jan 15, 2024
3 checks passed
@fizruk fizruk deleted the 27-fix-pipeline branch January 15, 2024 12:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Fix pipeline
3 participants