chore: use path = "src/lib.rs" to enable verus-analyzer
#9
| Job | Run time |
|---|---|
| 8m 16s | |
| 8m 16s |
path = "src/lib.rs" to enable verus-analyzer
#9
| Job | Run time |
|---|---|
| 8m 16s | |
| 8m 16s |