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.

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

Remove custom CI jobs in faviour of Unified CI #419

Merged
merged 2 commits into from
Jul 7, 2024

Conversation

masih
Copy link
Member

@masih masih commented Jul 6, 2024

Remove test, test with race, generate checker and lint in favour of standard unified CI jobs to only contain fuzzing.

@masih masih requested a review from Stebalien July 6, 2024 22:43
Remove test, test with race, generate checker and lint in favour of
standard unified CI jobs to only contain fuzzing.
@masih masih force-pushed the masih/uci-in-favour-of-custom-ci branch from 8e03c9f to 00ddc6b Compare July 6, 2024 22:46
@masih masih requested a review from Kubuxu July 6, 2024 22:46
Copy link

codecov bot commented Jul 6, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 74.20%. Comparing base (cb14f33) to head (0ce9669).

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##             main     #419      +/-   ##
==========================================
- Coverage   74.23%   74.20%   -0.03%     
==========================================
  Files          39       39              
  Lines        3753     3753              
==========================================
- Hits         2786     2785       -1     
  Misses        689      689              
- Partials      278      279       +1     

see 4 files with indirect coverage changes

@Kubuxu Kubuxu added this pull request to the merge queue Jul 7, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Jul 7, 2024
@masih masih added this pull request to the merge queue Jul 7, 2024
@masih
Copy link
Member Author

masih commented Jul 7, 2024

OK i think we are missing this

@masih masih removed this pull request from the merge queue due to a manual request Jul 7, 2024
@masih
Copy link
Member Author

masih commented Jul 7, 2024

I have manually enabled merge_group trigger until it is set at upstream workflows.

@masih masih enabled auto-merge July 7, 2024 07:20
@masih masih added this pull request to the merge queue Jul 7, 2024
Merged via the queue into main with commit b5674db Jul 7, 2024
12 of 13 checks passed
@masih masih deleted the masih/uci-in-favour-of-custom-ci branch July 7, 2024 07:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants