Skip to content

use nightly rust#3

Merged
nikkolasg merged 1 commit intomainfrom
fix/ci-nightly
Nov 21, 2023
Merged

use nightly rust#3
nikkolasg merged 1 commit intomainfrom
fix/ci-nightly

Conversation

@nikkolasg
Copy link
Collaborator

No description provided.

@nikkolasg nikkolasg merged commit 32acad3 into main Nov 21, 2023
@delehef delehef deleted the fix/ci-nightly branch July 18, 2024 11:33
nikkolasg added a commit that referenced this pull request Sep 20, 2024
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.

1 participant