Skip to content

Manage Julia packages with Dependabot#100

Merged
sloede merged 4 commits into
hpsc-lab:mainfrom
Tom-Finke:patch-2
May 20, 2026
Merged

Manage Julia packages with Dependabot#100
sloede merged 4 commits into
hpsc-lab:mainfrom
Tom-Finke:patch-2

Conversation

@Tom-Finke
Copy link
Copy Markdown
Collaborator

closes #99

@codecov
Copy link
Copy Markdown

codecov Bot commented Apr 29, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@Tom-Finke
Copy link
Copy Markdown
Collaborator Author

Tom-Finke commented Apr 29, 2026

CI fails due to downgrade tests. They succeeded in the last PR, see https://github.com/hpsc-lab/SecureArithmetic.jl/actions/runs/24822248037/job/72649478845. In this case, OpenFHE v0.1.14 and openfhe_julia_jll v0.5.0 gets used instead of OpenFHE v0.2 and openfhe_julia_jll v0.6.0. This is not compatible with OpenFHE_jll v1.5.1 which gets used in both cases.

@sloede should we remove OpenFHE v0.1.14 from comptaible versions in Project.toml? When OpenFHE v0.1.14 gets installed it can not force a downgrade of OpenFHE_jll to v1.4.2 and thus fails.

@Tom-Finke Tom-Finke requested review from sloede and removed request for sloede April 29, 2026 18:02
@Tom-Finke
Copy link
Copy Markdown
Collaborator Author

Leave CompatHelper in, to test both in parallel for a while

…bot"

This reverts commit 1570450. We will
run CompatHelper and Dependabot in parallel for a while to see if
Dependabot behaves as expected and have CompatHelper as a fallback.
@Tom-Finke Tom-Finke marked this pull request as ready for review May 5, 2026 18:33
@Tom-Finke Tom-Finke requested a review from sloede May 5, 2026 18:33
@Tom-Finke Tom-Finke changed the title Replace CompatHelper with Dependabot Manage Julia packages with Dependabot May 5, 2026
@sloede sloede merged commit 6cf87d0 into hpsc-lab:main May 20, 2026
10 of 11 checks passed
@Tom-Finke Tom-Finke deleted the patch-2 branch May 20, 2026 14:54
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.

CompatHelper conflict

2 participants