You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The idea is to free devs and contributors from running make specs.
One build (maybe a lighter one with few dependencies) runs make specs and stores the git diff as an artifact that should be reviewed before merging in a PR.
Then, merge commits have a special section after make specs were the updated specs are committed and pushed back to master automatically.