refactor: rename proofs to proof-of-sql and proofs-sql to proof-of-sql-parser
#24
| Job | Run time |
|---|---|
| 1s | |
| 10m 12s | |
| 1s | |
| 8m 57s | |
| 1s | |
| 2m 35s | |
| 6m 36s | |
| 6m 36s | |
| 20s | |
| 20s | |
| 35m 39s |