Pacify check_files.py #169

Merged
gilles-peskine-arm merged 1 commit from search_outcomes_config-fix_shebang into main 2025-05-20 08:18:54 -05:00
gilles-peskine-arm commented 2025-05-20 03:18:10 -05:00 (Migrated from github.com)

Fix the CI that I accidentally broke because I merged https://github.com/Mbed-TLS/mbedtls-framework/pull/20 which was so old that we didn't have a CI yet, and I hadn't noticed.

PR checklist

  • TF-PSA-Crypto PR not required because: broken commit not yet consumed
  • development PR not required because: broken commit not yet consumed
  • 3.6 PR not required because: broken commit not yet consumed
Fix the CI that I accidentally broke because I merged https://github.com/Mbed-TLS/mbedtls-framework/pull/20 which was so old that we didn't have a CI yet, and I hadn't noticed. ## PR checklist - [x] **TF-PSA-Crypto PR** not required because: broken commit not yet consumed - [x] **development PR** not required because: broken commit not yet consumed - [x] **3.6 PR** not required because: broken commit not yet consumed
valeriosetti (Migrated from github.com) approved these changes 2025-05-20 03:23:00 -05:00
felixc-arm (Migrated from github.com) approved these changes 2025-05-20 03:32:47 -05:00
Sign in to join this conversation.
No milestone
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!169
No description provided.