Skip to content

build: read FSRS_VERSION from anki/Cargo.lock - #717

Merged
david-allison merged 2 commits into
ankidroid:mainfrom
david-allison:java-library-1
Aug 13, 2026
Merged

build: read FSRS_VERSION from anki/Cargo.lock#717
david-allison merged 2 commits into
ankidroid:mainfrom
david-allison:java-library-1

Conversation

@david-allison

@david-allison david-allison commented Aug 10, 2026

Copy link
Copy Markdown
Member

Note

Assisted-by: Claude Fable 5

  • this removes a reference to cargo, which can cause a Gradle sync to fail if cargo is not on PATH.

Also prep for moving to a java-library:

* this removes a reference to `cargo`, which can cause a
Gradle sync to fail if `cargo` is not on PATH.

Also prep for moving to a `java-library`:
Issue 674

Assisted-by: Claude Fable 5
The root lockfile determines the version used in the binary.
This can theoretically deviate from upstream, but is unlikely to,
given that upstream uses a caret for the pin.

Assisted-by: Claude Fable 5
@BrayanDSO
BrayanDSO added this pull request to the merge queue Aug 13, 2026
@BrayanDSO BrayanDSO added the pending-merge Waiting on CI or question responses to merge, but otherwise ready label Aug 13, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to no response for status checks Aug 13, 2026
@david-allison
david-allison added this pull request to the merge queue Aug 13, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to no response for status checks Aug 13, 2026
@david-allison
david-allison added this pull request to the merge queue Aug 13, 2026
Merged via the queue into ankidroid:main with commit daf8a63 Aug 13, 2026
13 of 14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pending-merge Waiting on CI or question responses to merge, but otherwise ready

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants