Continuous Integration
Open
ci
- Dominant language
- F*
- Stars
- 138
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
A first version of a CI has been landed in #24.
~~Add hacspec typechecking to CI (depends on #28 )~~ Not part of M2
- [ ] Add interop tests to CI (depends on #9 )
- [ ] Add TLS test suite to CI (depends on #7 )
- [x] #63
- [ ] #64
Contributor guide
Assessment
This issue has not been assessed yet.