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 nightly Julia build from CI #302

Merged
merged 1 commit into from
Mar 1, 2024
Merged

Remove nightly Julia build from CI #302

merged 1 commit into from
Mar 1, 2024

Conversation

tamasgal
Copy link
Member

The nightly build is often broken and the CI badge shows "failing" because it picks that up.
I don't think we need to waste resources on the nightly Julia CI anyways.

@tamasgal tamasgal requested a review from Moelf January 17, 2024 06:40
Copy link

codecov bot commented Jan 17, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (77b75d8) 87.44% compared to head (9f221c9) 87.02%.
Report is 1 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #302      +/-   ##
==========================================
- Coverage   87.44%   87.02%   -0.43%     
==========================================
  Files          18       18              
  Lines        2389     2404      +15     
==========================================
+ Hits         2089     2092       +3     
- Misses        300      312      +12     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@Moelf
Copy link
Member

Moelf commented Jan 17, 2024

image

CI badge doesn't show nightly fail; Revise also does what we do now: timholy/Revise.jl#799

@tamasgal
Copy link
Member Author

Currently not, but it shows it from time to time ;)

@tamasgal
Copy link
Member Author

Here is a short discussion: https://discourse.julialang.org/t/ignoring-nightly-failure-for-ci-badge/98028

But I am not sure if we really need nightly CI of Julia at all. I have not found the results of that job helpful at all. I always ignore that ;)

@Moelf
Copy link
Member

Moelf commented Jan 17, 2024

I kinda need it so that when new release come around it's not broken

@Moelf Moelf merged commit c198e2e into main Mar 1, 2024
9 of 10 checks passed
@Moelf Moelf deleted the remove-nightly-ci branch March 1, 2024 21:11
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