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

Add applyMerge for NonEmpty #6

Merged
merged 8 commits into from
May 9, 2024
Merged

Add applyMerge for NonEmpty #6

merged 8 commits into from
May 9, 2024

Conversation

pgujjula
Copy link
Owner

@pgujjula pgujjula commented May 9, 2024

Closes #2

pgujjula added 7 commits May 9, 2024 00:55
Previously, the CI was configured to run on pushes to all branches, and
on all pull requests. This caused pushes to a PR to cause all CI jobs to
run twice, once because they were a push, and once because the PR was
updated.

To fix this, we configure CI to run on all pull requests, and on pushes
only to main.
@pgujjula pgujjula force-pushed the pgujjula/non-empty branch from 2b09a6d to cb9c16a Compare May 9, 2024 08:00
@pgujjula pgujjula marked this pull request as ready for review May 9, 2024 08:17
@pgujjula pgujjula merged commit 1904869 into main May 9, 2024
7 checks passed
@pgujjula pgujjula deleted the pgujjula/non-empty branch May 9, 2024 08:23
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.

Add applyMerge for NonEmpty
1 participant