Closed
Description
Summary
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.
Metadata
Metadata
Assignees
Labels
No labels