Move hax-lib-macros dependency to a feature
#68
| Job | Run time |
|---|---|
| 38s | |
| 0s | |
| 38s |
hax-lib-macros dependency to a feature
#68
| Job | Run time |
|---|---|
| 38s | |
| 0s | |
| 38s |