New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Continuous Integration #8

Open

1 of 4 tasks

franziskuskiefer opened this issue May 18, 2022 · 0 comments

Labels

Member

franziskuskiefer commented May 18, 2022 •

edited

Loading

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 Interop tests #9 )
Add TLS test suite to CI (depends on [meta] TLS test suite #7 )
Add F* extraction to CI #63
Add F* typechecking to CI #64

franziskuskiefer added this to the M2 - Code Improvements milestone

franziskuskiefer assigned duesee

duesee removed their assignment

franziskuskiefer added the ci label

franziskuskiefer modified the milestones: M2 - Code Improvements, M3 - Performance Optimizations

franziskuskiefer removed this from the M3 - Performance Optimizations milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment