Skip to content

Make the cstring test multi-target#1174

Merged
Nadrieril merged 1 commit into
AeneasVerif:mainfrom
Nadrieril:fix-1170
May 26, 2026
Merged

Make the cstring test multi-target#1174
Nadrieril merged 1 commit into
AeneasVerif:mainfrom
Nadrieril:fix-1170

Conversation

@Nadrieril
Copy link
Copy Markdown
Member

Fixes #1170

@Nadrieril Nadrieril enabled auto-merge May 26, 2026 12:55
@Nadrieril Nadrieril added this pull request to the merge queue May 26, 2026
Merged via the queue into AeneasVerif:main with commit d53860a May 26, 2026
8 of 10 checks passed
@Nadrieril Nadrieril deleted the fix-1170 branch May 26, 2026 13:21
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.

Test simple/cstr.rs fails on aarch64-linux

1 participant