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

Jump to bottom

Set up CI #6

Open

b13decker opened this issue Aug 28, 2024 · 0 comments

Milestone

Collaborator

b13decker commented Aug 28, 2024

We'd like to set up CI to run the tests and properties for our Cryptol specs, and eventually run the SAW proofs as well.

b13decker added this to the Milestone 2 milestone

b13decker modified the milestones: Milestone 2, Milestone 3

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