-
Notifications
You must be signed in to change notification settings - Fork 7
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
Update to julia 1.9 #190
Update to julia 1.9 #190
Conversation
bors try |
Codecov ReportPatch coverage has no change and project coverage change:
Additional details and impacted files@@ Coverage Diff @@
## main #190 +/- ##
==========================================
+ Coverage 98.19% 98.31% +0.11%
==========================================
Files 13 14 +1
Lines 887 888 +1
==========================================
+ Hits 871 873 +2
+ Misses 16 15 -1 ☔ View full report in Codecov by Sentry. |
tryBuild failed: |
bors try |
bors try |
tryAlready running a review |
Seems to be working modulo the error below. The init seems to work even with it.
|
dfe933b
to
70d60ed
Compare
bors try |
tryAlready running a review |
bors try |
tryAlready running a review |
bors try- |
bors try |
bors r+ |
tryTimed out. |
Timed out. |
bors r+ |
Timed out. |
I think the bors toml needs updated |
70d60ed
to
53e99d0
Compare
53e99d0
to
579a408
Compare
Updated the names
Thank you for the hint! If you think about it, it makes sense that the names should match 😂 I increased the timeout limit for good luck. |
bors r+ |
Seems like batch bors is still waiting for
Not sure where else should I change the name... |
Timed out. |
1 similar comment
Timed out. |
bors r+ |
Strange, I think that should do it, let me see... |
bors r- |
Canceled. |
bors try- |
bors r+ |
Build succeeded! The publicly hosted instance of bors-ng is deprecated and will go away soon. If you want to self-host your own instance, instructions are here. If you want to switch to GitHub's built-in merge queue, visit their help page. |
No description provided.