Code

Pr benchmarking#5

Code

Open

jprider63 wants to merge 6 commits intomasterGaloisInc/cerberus:masterfrom pr-benchmarkingGaloisInc/cerberus:pr-benchmarkingCopy head branch name to clipboard

+246

Commits

Commits on Aug 29, 2024

• Benchmarking for PRs

  jprider63

  committed
  50481e2

  Copy full SHA for 50481e2

• Give permission for commenting on PRs

  jprider63

  committed
  6d1dbc3

  Copy full SHA for 6d1dbc3

• Try giving all permissions for commenting

  jprider63

  committed
  fde2065

  Copy full SHA for fde2065

• Try removing permission field

  jprider63

  committed
  90c1468

  Copy full SHA for 90c1468

Commits on Sep 9, 2024

• Report total runtime in PR benchmark comments

  jprider63

  committed
  ecd2906

  Copy full SHA for ecd2906

Commits on Sep 25, 2024

• Try adding token permissions

  jprider63

  committed
  72c2497

  Copy full SHA for 72c2497