Skip to content
This repository was archived by the owner on Aug 27, 2025. It is now read-only.

Conversation

@anton-trunov
Copy link
Contributor

No description provided.

@anton-trunov anton-trunov merged commit bd3b1e2 into master Aug 26, 2020
@anton-trunov anton-trunov deleted the scilla.eval branch August 26, 2020 08:51
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants