Rightsize ci runners - #112
Merged
Merged
Conversation
Remove deprecated ECDSA and unbounded PBKDF2 wrappers, stale CRC diagnostics, and migration scaffolding while preserving active protocol support. Keep proof operations behind the internal compiler boundary and retain independent interoperability coverage. Align evidence harnesses and CI runner configuration with the cleaned surface. Consolidate v0.10 release intent, refresh documentation, and include standalone workspace lockfiles in release preparation.
Audit the compiler-derived public API inventory on every release-evidence target. The boundary cleanup adds no entries and removes only the retired or internalized APIs, so record the resulting common snapshot.
Merge the default-branch profile publication into the rightsizing branch while retaining the reviewed downsized catalog. This restores a conflict-free pull-request merge commit for Actions.
Run repository shell wrappers through Bash on Windows so Python does not invoke them as Win32 executables.\n\nOn AArch64, make the GCM-SIV timing probe exercise the fused production derivation path and balance class ordering against short-lived host drift.
Probe every catalog-selected Cargo tool and retain standard downloadable artifacts. Balance ML-KEM timing classes and remove the multiply-based diagnostic sink so DudeCT measures the production kernel it names.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.