Skip to content
This repository has been archived by the owner on Aug 16, 2024. It is now read-only.

update boojum dependency and adapt to changes in API #34

Merged
merged 1 commit into from
Feb 9, 2024

Conversation

robik75
Copy link
Member

@robik75 robik75 commented Feb 9, 2024

What ❔

This PR is a re-do of #28 , it bumps the boojum dependency and adapts to the API changes.

Why ❔

Re-doing to PR to make it cleaner.

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Code has been formatted via cargo fmt and linted with cargo check.

@robik75 robik75 self-assigned this Feb 9, 2024
@robik75 robik75 merged commit 2c804d1 into main Feb 9, 2024
4 checks passed
@robik75 robik75 deleted the rr-boojum-update branch February 9, 2024 13:08
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant