Hendrik Eeckhaut f59153b0a0 ci: fix TEE deployments (#686) ...

* do not run tee-deployments builds for PR builds
* Remove AWS deployment scripts
* added missing timeout parameter to TEE config

2025-02-20 11:58:13 +01:00

..

gramine.sh

ci: SGX

2024-12-05 08:59:19 +01:00