-
smartcontracts authored
Removes the need for kontrol summaries to be generated at PR time. Summaries will now be generated during run-kontrol.sh instead.
669a0fb2
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| KontrolDeployment.sol |
Removes the need for kontrol summaries to be generated at PR time. Summaries will now be generated during run-kontrol.sh instead.
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| KontrolDeployment.sol |