Skip to content

Bump toolchain to 18-08-2026 - #1353

Merged
Nadrieril merged 1 commit into
AeneasVerif:mainfrom
soteria-tools:rustc-18-08
Aug 20, 2026
Merged

Bump toolchain to 18-08-2026#1353
Nadrieril merged 1 commit into
AeneasVerif:mainfrom
soteria-tools:rustc-18-08

Conversation

@N1ark

@N1ark N1ark commented Aug 18, 2026

Copy link
Copy Markdown
Collaborator

@N1ark
N1ark force-pushed the rustc-18-08 branch 2 times, most recently from db115fd to 710c3b5 Compare August 18, 2026 16:05
@N1ark N1ark mentioned this pull request Aug 19, 2026
@N1ark
N1ark force-pushed the rustc-18-08 branch 4 times, most recently from 9b40c54 to 006f2a5 Compare August 19, 2026 11:27
Comment thread charon/src/bin/charon-driver/hax/types/new/full_def.rs Outdated
Comment thread charon/src/bin/charon-driver/hax/types/new/full_def.rs Outdated
Comment thread charon/src/bin/charon-driver/hax/types/ty.rs Outdated
Comment thread charon/tests/ui/simple/box-deref-elaborated.out
Comment thread nix/full-mir-sysroots.nix

@Nadrieril Nadrieril left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks really good! Happy with it apart from what I pointed out

@N1ark
N1ark force-pushed the rustc-18-08 branch 3 times, most recently from 5bcf33f to d4d5b8e Compare August 20, 2026 08:58
@Nadrieril
Nadrieril enabled auto-merge August 20, 2026 14:34
@Nadrieril
Nadrieril added this pull request to the merge queue Aug 20, 2026
Merged via the queue into AeneasVerif:main with commit f263618 Aug 20, 2026
10 of 12 checks passed
@N1ark
N1ark deleted the rustc-18-08 branch August 20, 2026 14:41
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.

2 participants