Issues

• After merge deploy the changes to server

  Feature

  diffkemp/diffkemp-dev-bot#19 · Filter by author PLukas2018 opened on Jun 29, 2026

• Allow specify diffkemp patche in the evaluation comments

  enhancement
  Feature

  diffkemp/diffkemp-dev-bot#18 · Filter by author PLukas2018 opened on Jun 29, 2026

• Cache results and snapshots

  Feature

  diffkemp/diffkemp-dev-bot#16 · Filter by author PLukas2018 opened on Jun 29, 2026

• Enhance logging

  Feature

  diffkemp/diffkemp-dev-bot#14 · Filter by author PLukas2018 opened on Jun 28, 2026

• build timeout does not propagate as timeout

  Bug

  diffkemp/diffkemp-dev-bot#13 · Filter by author PLukas2018 opened on Jun 28, 2026

• Add time measurement for building phase (build-kernel)

  diffkemp/diffkemp-dev-bot#11 · Filter by author PLukas2018 opened on Jun 23, 2026
  

• \evalute wihout --rebuild provides wrong results??

  bug
  diffkemp/diffkemp-dev-bot#9 · Filter by author PLukas2018 opened on Feb 8, 2026

• CI: Run some tests

  diffkemp/diffkemp-dev-bot#8 · Filter by author PLukas2018 opened on Feb 7, 2026

• Fix results should be returned even if time limit was reached when building test

  diffkemp/diffkemp-dev-bot#7 · Filter by author PLukas2018 opened on Feb 7, 2026

• Dockerfile: Project sources -- takes too much space

  diffkemp/diffkemp-dev-bot#6 · Filter by author PLukas2018 opened on Feb 5, 2026

• Add option to select base commit

  diffkemp/diffkemp-dev-bot#4 · Filter by author PLukas2018 opened on Dec 23, 2025

• Improve time measurement

  diffkemp/diffkemp-dev-bot#3 · Filter by author PLukas2018 opened on Dec 23, 2025

• Enable running on make-based projects

  diffkemp/diffkemp-dev-bot#2 · Filter by author PLukas2018 opened on Dec 23, 2025