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 property for spider changes #140

Merged
merged 1 commit into from Jun 20, 2023

Conversation

vladbogo
Copy link
Collaborator

@vladbogo vladbogo commented Jun 8, 2023

Set a spider_changed property to detect if spider changes occurred.

Set a spider_changed property to detect if spider changes occurred.
@vladbogo
Copy link
Collaborator Author

vladbogo commented Jun 8, 2023

Once this is merged, #101 needs to be changed to test the property and only run spider tests if the property is set to True

@mariadb-YuchenPei
Copy link
Contributor

As I said in the MDBF, without testing it or knowing much about writing the buildbot cfg files, the change looks good to me.

@vladbogo vladbogo requested a review from grooverdan June 15, 2023 16:15
@vladbogo vladbogo merged commit 2134d03 into MariaDB:main Jun 20, 2023
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants