Skip to content

Comments

Update ion11 branch with recent main changes#1011

Merged
nirosys merged 2 commits intoion11from
main
Oct 20, 2025
Merged

Update ion11 branch with recent main changes#1011
nirosys merged 2 commits intoion11from
main

Conversation

@nirosys
Copy link
Contributor

@nirosys nirosys commented Oct 20, 2025

Issue #, if available: n/a

Description of changes:
This just syncs the ion11 branch with recent main changes.


By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

* Update github actions and migrate rust actions to a maintained set of actions

* Address issue with OS name handling and job filtering on OS name

* Revert OS change; misunderstood

* Disable -D warnings

* Remove -D warnings, from miri tests

* Lock generic-array version to 0.14.7 to workaround deprecation warnings
@nirosys nirosys marked this pull request as ready for review October 20, 2025 23:14
@nirosys nirosys merged commit 086e044 into ion11 Oct 20, 2025
37 checks passed
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