You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We have a GitHub action for typechecking the library with performance tracking on master, but it would be nice to know what impact a PR has before merging it, so we should be able to trigger the workflow manually, and have the action report the timing differences, without storing the information in the generated JSON/CSV.
The text was updated successfully, but these errors were encountered:
We have a GitHub action for typechecking the library with performance tracking on master, but it would be nice to know what impact a PR has before merging it, so we should be able to trigger the workflow manually, and have the action report the timing differences, without storing the information in the generated JSON/CSV.
The text was updated successfully, but these errors were encountered: