[CI] Hax extract on different architectures

[jschneider-bensch]

This is to catch a potential feature misconfiguration during extraction.

[franziskuskiefer]

@jschneider-bensch what's the state here? Looks like CI didn't go through.

[jschneider-bensch]

Right, it looks like the Nix-based setup for hax on CI here does not work on all the platforms where I wanted to confirm we can extract, so I'll have to set up hax manually for these platforms.

I still think it would be good to know that extraction works on common platforms, but it would also be more churn on the CI, the way it is configured here. So I would actually like to run it on the merge queue instead. What do you think?

[franziskuskiefer]

👍🏻 Yes, running it on the merge queue and without nix sounds good.

[github-actions]

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

[github-actions]

This PR has been closed due to a lack of activity since being marked as stale. If you believe this pull request is still relevant, please reopen it with an update or comment.