Skip to content

Remove most unstable features from charon_lib#1181

Merged
Nadrieril merged 3 commits into
AeneasVerif:mainfrom
Nadrieril:charon-lib-on-stable
May 27, 2026
Merged

Remove most unstable features from charon_lib#1181
Nadrieril merged 3 commits into
AeneasVerif:mainfrom
Nadrieril:charon-lib-on-stable

Conversation

@Nadrieril

Copy link
Copy Markdown
Member

Only one left, which will go after the next rustc bump.

@Nadrieril
Nadrieril enabled auto-merge May 27, 2026 17:19
@Nadrieril
Nadrieril added this pull request to the merge queue May 27, 2026
Merged via the queue into AeneasVerif:main with commit d2ec705 May 27, 2026
5 checks passed
@Nadrieril
Nadrieril deleted the charon-lib-on-stable branch May 27, 2026 17:29
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