Fix hax CI job to always run or only be required when run

cryspen / libcrux

The formally verified crypto library for Rust

https://cryspen.com/libcrux

Apache License 2.0

81 stars 13 forks source link

Fix hax CI job to always run or only be required when run #337

Closed franziskuskiefer closed 3 weeks ago

franziskuskiefer commented 3 months ago

Right now the hax CI job is always required but only runs in certain cases on main. This blocks PRs that do not run it.

github-actions[bot] commented 1 month ago

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

franziskuskiefer commented 3 weeks ago

Closing this in favour of #337.