UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
222 stars 71 forks source link

Allow manually running perf testing on pull requests #1049

Open VojtechStep opened 8 months ago

VojtechStep commented 8 months ago

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.