Closed franziskuskiefer closed 1 year ago
Set up a basic CI to build and test the specs. In particular, set up builds and tests for Linux, Windows, macOS
Start with a basic Rust workflow. You can look at the basic one in libcrux for example. Please make sure that the CI has the following things
workflow_dispatch
merge_group
In a second step we need to add a gh-pages deployment.
Set up a basic CI to build and test the specs. In particular, set up builds and tests for Linux, Windows, macOS
Start with a basic Rust workflow. You can look at the basic one in libcrux for example. Please make sure that the CI has the following things
workflow_dispatchtrigger)merge_grouptarget is added for a job (github docs)In a second step we need to add a gh-pages deployment.