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

[FEAT]: Add concurrency group to CI #180

Closed
jeremyfelder opened this issue Sep 5, 2023 · 0 comments · Fixed by #238
Closed

[FEAT]: Add concurrency group to CI #180

jeremyfelder opened this issue Sep 5, 2023 · 0 comments · Fixed by #238
Labels
area:ci good first issue Good for newcomers type:feature New feature or request

Comments

@jeremyfelder
Copy link
Collaborator

Description

In order to prevent old CI runs from continuing when a new commit is pushed, we want to implement concurrency groups

Motivation

Reduce the amount of time and number of runs that status checks take per PR
@jeremyfelder jeremyfelder added type:feature New feature or request good first issue Good for newcomers area:ci labels Sep 5, 2023
@jeremyfelder jeremyfelder mentioned this issue Oct 3, 2023
Merged
jeremyfelder added a commit that referenced this issue Oct 17, 2023
@jeremyfelder
[CI]: Add concurrency groups at workflow level (#238)
88c9c85 
Add concurrency groups at workflow level for CI. Remove dev CI since we no longer use dev branch. Resolves #180
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area:ci good first issue Good for newcomers type:feature New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[CI]: Add concurrency groups at workflow level ingonyama-zk/icicle
1 participant
@jeremyfelder