Skip to content
This repository has been archived by the owner on Jan 31, 2023. It is now read-only.

Do not build branches that only have CI changes #153

Merged
merged 2 commits into from
Jan 25, 2022

Conversation

mkoeppe
Copy link

@mkoeppe mkoeppe commented Jan 24, 2022

This checks changed files against patterns in a manner similar to inplace_safe.

Fixes #151

@mkoeppe
Copy link
Author

mkoeppe commented Jan 24, 2022

(untested)

@fchapoton fchapoton merged commit 317b35a into sagemath:master Jan 25, 2022
@mkoeppe mkoeppe deleted the no_build_on_ci_only_patches branch February 5, 2022 16:39
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Automatic green checkmark for tickets that only touch CI scripts
2 participants