Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't try to update forge upon doc generation every time
This line was originally added because doc generation was changed and it wasn't caught by pre-commit and incompatible docs were generated. However this issue is caught by CI workflows. As this line slows down commits significantly it's removed again.
- Loading branch information