Skip to content

Commit 8dd1c23

Browse files
authored
Merge pull request #1264 from pq-code-package/opentitan
CI: Adjust OpenTitan workflow to use most recent main
2 parents c318c61 + 3c0b544 commit 8dd1c23

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

.github/workflows/integration-opentitan.yml

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -52,9 +52,8 @@ jobs:
5252
- uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
5353
- uses: ./.github/actions/setup-opentitan
5454
with:
55-
# TODO: switch to upstream once merged
56-
expo-repository: https://github.com/mkannwischer/expo
57-
expo-commit: 8e6cfe2d1cc918fa3ae6cd076e806909bb1c09e0
55+
expo-repository: https://github.com/zerorisc/expo
56+
expo-commit: 941d302a6d2d1ec5b1e3d7448846f56809333cee
5857

5958
- name: Patch mlkem-native dependency
6059
run: |

README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -53,6 +53,7 @@ mlkem-native is used in
5353
- [libOQS](https://github.com/open-quantum-safe/liboqs/) of the Open Quantum Safe project since [0.13.0](https://github.com/open-quantum-safe/liboqs/releases/tag/0.13.0) (as the default ML-KEM implementation)
5454
- AWS' Cryptography library [AWS-LC](https://github.com/aws/aws-lc/) since [v1.50.0](https://github.com/aws/aws-lc/releases/tag/v1.50.0)
5555
- The [rustls](https://github.com/rustls/rustls) TLS library written in Rust since [0.23.28](https://github.com/rustls/rustls/releases/tag/v%2F0.23.28) (through AWS-LC as the default cryptography provider)
56+
- The [zeroRISC's fork of OpenTitan](https://github.com/zerorisc/expo) - an open source silicon Root of Trust (RoT)
5657

5758
## Formal Verification
5859

0 commit comments

Comments
 (0)