Add continuous integration

LayerXcom / verified-vyper-contracts

FVyper: A collection of useful Vyper contracts developed with formal methods

Apache License 2.0

55 stars 15 forks source link

Closed fulldecent closed 5 years ago

fulldecent commented 5 years ago

To assist in evaluating the test cases.

nrryuya commented 5 years ago

added in #31

fulldecent commented 5 years ago

Looks great, thank you!