diff options
| author | Dante Niewenhuis <d.niewenhuis@hotmail.com> | 2026-05-21 19:04:01 +1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-05-21 19:04:01 +1000 |
| commit | 816332cbaf256c405a109d8cc16fec8f15df907e (patch) | |
| tree | cb058fae973f81e86316657e5abba5d4fb8f7e29 /opendc-common/src/main/java/org/opendc | |
| parent | 5b4b6bde235e47fcc7074578673dfea1077771a7 (diff) | |
Added benchmarking to the CI (#423)
* Added benchmarking to the CI
* Updated writing access of benchmark.yml
* Added benchmark-comment.yml that pushes the comment to the PR
* Added read permission
Diffstat (limited to 'opendc-common/src/main/java/org/opendc')
0 files changed, 0 insertions, 0 deletions