add semicolon to end of summary in access roles servicer certora #94
| Job | Run time |
|---|---|
| 6m 43s | |
| 1m 24s | |
| 7m 36s | |
| 1m 23s | |
| 9m 17s | |
| 1m 6s | |
| 1m 23s | |
| 9m 2s | |
| 1m 22s | |
| 9m 16s | |
| 9m 5s | |
| 9m 17s | |
| 7m 50s | |
| 9m 1s | |
| 9m 3s | |
| 9m 5s | |
| 8m 59s | |
| 9m 3s | |
| 7m 34s | |
| 8m 7s | |
| 9m 2s | |
| 9m 1s | |
| 9m 2s | |
| 9m 12s | |
| 8m 56s | |
| 9m 4s | |
| 6m 22s | |
| 3h 16m 15s |