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.

Sign up for GitHub

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

Jump to bottom

presubmit script #6

Closed
thomas-fossati opened this issue Nov 6, 2020 · 0 comments · Fixed by #22
Closed

presubmit script #6

thomas-fossati opened this issue Nov 6, 2020 · 0 comments · Fixed by #22
Labels
enhancement New feature or request repoworks Anything having to do with the GitHub repository

Comments

@thomas-fossati
Copy link
Contributor

We need some sort of scripts/presubmit.sh which mirrors the CI tests, i.e., linters and code coverage that can be used before submitting the PR to minimise dev roundtrips.
@thomas-fossati thomas-fossati added enhancement New feature or request repoworks Anything having to do with the GitHub repository labels Nov 6, 2020
thomas-fossati added a commit that referenced this issue Sep 7, 2021
@thomas-fossati
add pre-submit checks
4775522 
Also advertise the new feature in the README

Fixes #6
@thomas-fossati thomas-fossati mentioned this issue Sep 7, 2021
Merged
thomas-fossati added a commit that referenced this issue Sep 7, 2021
@thomas-fossati
add pre-submit checks (#22)
0446ddb 
Also advertise the new feature in the README

Fixes #6
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request repoworks Anything having to do with the GitHub repository
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

add pre-submit checks veraison/swid
1 participant
@thomas-fossati