Docker: container that can execute Makefiles

[chrysn]

The Docker container generated by the provided Dockerfile is quite helpful in getting new users (such as me who is trying to gain a better understanding for hax's application in edhoc-rs) started, but is of limited use when trying to apply it to the provided examples, because those need (at least) the combination of cargo-hax, make, and fstar (and/or coq).

Would you consider providing a Dockerfile (or, both for the existing one and the new one, even the Docker by uploading to dockerhub or another hosting) that contains all the software needed to run the examples in full?

[github-actions]

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.

[github-actions]

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