Do all jobs for branch starts with `all`

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 nrryuya closed 5 years ago

nrryuya commented 5 years ago

In these case, we want to do all jobs.

yudetamago commented 5 years ago

Nice! Then, kprove_and_test_for_all becomes redundant, I think. Would you remove kprove_and_test_for_all ?