chore: use Permit2 public repo in git submodules #884
Triggered via pull request
September 26, 2023 16:01
rileydcampbell
Status
Success
Total duration
1m 24s
Artifacts
–