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

Improve pipeline #358

Merged
merged 18 commits into from
May 22, 2024
Merged

Improve pipeline #358

merged 18 commits into from
May 22, 2024

Conversation

deemp
Copy link
Member

@deemp deemp commented May 21, 2024


PR-Codex overview

This PR updates pipeline configurations, adds test logging, and enhances syntax file checks.

Detailed summary

  • Updated PIPELINE_CONFIG_HASH in pipeline/pipeline.lock
  • Added test_with_logs function in pipeline.sh
  • Updated file paths in pipeline/config.yaml
  • Added test logging paths in scripts/lib.sh
  • Enhanced syntax file checks in .github/workflows/ghc.yml

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

@deemp deemp linked an issue May 21, 2024 that may be closed by this pull request
@deemp deemp force-pushed the 189-enable-more-pipeline-tests branch from 8169084 to 6cdf577 Compare May 21, 2024 10:06
@deemp deemp force-pushed the 189-enable-more-pipeline-tests branch from 28cffdc to 88d8e1a Compare May 21, 2024 12:49
@deemp deemp requested a review from fizruk May 21, 2024 14:45
@deemp deemp changed the title 189 enable more pipeline tests Improve pipeline May 21, 2024
@deemp deemp removed the request for review from fizruk May 21, 2024 15:08
@deemp deemp requested a review from fizruk May 21, 2024 21:15
@deemp deemp merged commit 42fa546 into master May 22, 2024
8 checks passed
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.

Report failing test names Enable more pipeline tests
2 participants