Currently the HTML file is being manually uploaded, so the displayed benchmark results depend on the machine of the person that pushed the HTML. We should create a GitHub Action that knit the Rmd file to HTML instead, so that the displayed results are comparable between versions (because it is being knitted in the same environment every time).
Any thoughts?
Currently the HTML file is being manually uploaded, so the displayed benchmark results depend on the machine of the person that pushed the HTML. We should create a GitHub Action that knit the Rmd file to HTML instead, so that the displayed results are comparable between versions (because it is being knitted in the same environment every time).
Any thoughts?