Investigate GH Pages Deploy errors

[franziskuskiefer]

The pages deployment shows an error for a while now https://github.com/cryspen/hacl-packages/deployments/activity_log