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.

Sign up for GitHub

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

Jump to bottom

fix: disable the pipeline job #133

Merged
merged 1 commit into from
Feb 16, 2024
Merged

fix: disable the pipeline job #133

merged 1 commit into from
Feb 16, 2024

Conversation

deemp
Copy link
Member

@deemp deemp commented Feb 16, 2024 •
edited by pr-codex bot
Loading

Closes #132

PR-Codex overview

This PR focuses on disabling a specific pipeline in the .github/workflows/ghc.yml file.

Detailed summary

  • Added a condition to disable the pipeline execution.
  • No other notable changes.

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

@deemp deemp linked an issue Feb 16, 2024 that may be closed by this pull request
Disable the pipeline job in workflow #132
Closed
@fizruk fizruk merged commit a0e94a0 into master Feb 16, 2024
5 checks passed
@fizruk fizruk deleted the 132-disable-the-pipeline-job-in-workflow branch February 16, 2024 12:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Disable the pipeline job in workflow
2 participants
@deemp @fizruk