gh-Mbed-TLS/mbedtls-framework
Watch
1
0
Fork
You've already forked mbedtls-framework
 0
Code Issues 39 Pull requests 42 Releases Activity

Design proposal: split user-invoked from CI-invoked Python scripts #272

Open
gilles-peskine-arm wants to merge 1 commit from gilles-peskine-arm/python-scripts-vintage-split-proposal into main
pull from: gilles-peskine-arm/python-scripts-vintage-split-proposal
merge into: gh-Mbed-TLS:main
Conversation 0 Commits 1 Files changed 1 +90
gilles-peskine-arm commented 2026-01-14 11:35:40 -06:00 (Migrated from github.com)
  • Short term: have a place (distinct framework directory) to put Python scripts that use “fancy” packages and don't work in ancient Python.
  • Longer term: move CI scripts (anything that's not involved in the library build or in functional testing) to that new place.

PR checklist

  • TF-PSA-Crypto PR provided # | not required because: doc only
  • development PR provided # | not required because: doc only
  • 3.6 PR provided # | not required because: doc only
* Short term: have a place (distinct framework directory) to put Python scripts that use “fancy” packages and don't work in ancient Python. * First candidate: [`generate_mldsa_tests.py`](https://github.com/Mbed-TLS/mbedtls-framework/pull/248) (needs Python ≥3.9, `dilithium-py`)​ * Longer term: move CI scripts (anything that's not involved in the library build or in functional testing) to that new place. ## PR checklist - [x] **TF-PSA-Crypto PR** provided # | not required because: doc only - [x] **development PR** provided # | not required because: doc only - [x] **3.6 PR** provided # | not required because: doc only
This pull request is broken due to missing fork information.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin 'gilles-peskine-arm/python-scripts-vintage-split-proposal:gilles-peskine-arm/python-scripts-vintage-split-proposal'
git switch 'gilles-peskine-arm/python-scripts-vintage-split-proposal'

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch 'main'
git merge --no-ff 'gilles-peskine-arm/python-scripts-vintage-split-proposal'
git switch 'gilles-peskine-arm/python-scripts-vintage-split-proposal'
git rebase 'main'
git switch 'main'
git merge --ff-only 'gilles-peskine-arm/python-scripts-vintage-split-proposal'
git switch 'gilles-peskine-arm/python-scripts-vintage-split-proposal'
git rebase 'main'
git switch 'main'
git merge --no-ff 'gilles-peskine-arm/python-scripts-vintage-split-proposal'
git switch 'main'
git merge --squash 'gilles-peskine-arm/python-scripts-vintage-split-proposal'
git switch 'main'
git merge --ff-only 'gilles-peskine-arm/python-scripts-vintage-split-proposal'
git switch 'main'
git merge 'gilles-peskine-arm/python-scripts-vintage-split-proposal'
git push origin 'main'
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
approved
Design and code approved - may be waiting for CI or backports

  
bug
Something isn't working

  
dependencies
Pull requests that update a dependency file

  
DO-NOT-MERGE

   
enhancement
New feature or request

  
good-first-issue
Good for newcomers

  
help-wanted
This issue is not being actively worked on, but PRs welcome.

  
historical-reviewed
Reviewed & agreed to keep legacy PR/issue

  
historical-reviewing
Currently reviewing (for legacy PR/issues)

  
needs-adoption
stalled PR that someone should pick up and complete

  
needs-ci
Needs to pass CI tests

  
needs-design-approval

   
needs-info
An issue or PR which needs further info from the reporter / author

  
needs-preceding-pr
Requires another PR to be merged first

  
needs-review
Every commit must be reviewed by at least two team members.

  
needs-reviewer
This PR needs someone to pick it up for review

  
needs-work

   
priority-high
High priority - will be reviewed soon

  
priority-low
Low priority - this may not receive review soon

  
priority-medium
Medium priority - this can be reviewed as time permits

  
priority-scheduled
This PR is big - it will require time to be scheduled for review

  
priority-very-high
Highest priority - prioritise this over other review work

  
single-reviewer
This PR qualifies for having only one reviewer

  
size-l
Estimated task size: large (2w+)

  
size-m
Estimated task size: medium (~1w)

  
size-s
Estimated task size: small (~2d)

  
size-xs
Estimated task size: extra small (a few hours at most)

No labels
approved
bug
dependencies
DO-NOT-MERGE
enhancement
good-first-issue
help-wanted
historical-reviewed
historical-reviewing
needs-adoption
needs-ci
needs-design-approval
needs-info
needs-preceding-pr
needs-review
needs-reviewer
needs-work
priority-high
priority-low
priority-medium
priority-scheduled
priority-very-high
single-reviewer
size-l
size-m
size-s
size-xs
Milestone
Clear milestone
No items
No milestone
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
gh-Mbed-TLS/mbedtls-framework!272
No description provided.