Code

Feature/new bug report templates#2868

Code

Merged

F-WRunTime merged 8 commits intomasterruntimeverification/k:masterfrom feature/new-bug-report-templatesruntimeverification/k:feature/new-bug-report-templatesCopy head branch name to clipboardSep 12, 2022

+190-133

Commits

Commits on Sep 7, 2022

• Bug templates reworked

  F-WRunTime

  committed
  7a29157

  Copy full SHA for 7a29157

• Providing first templates of improvement forms

  F-WRunTime

  committed
  bf16bf9

  Copy full SHA for bf16bf9

• That was a hard file to delete!

  F-WRunTime

  committed
  02b977c

  Copy full SHA for 02b977c

• Fine tuning templates

  F-WRunTime

  committed
  9983896

  Copy full SHA for 9983896

Commits on Sep 9, 2022

• Moving performance teplate to haskell-backend

  F-WRunTime

  committed
  ff391b9

  Copy full SHA for ff391b9

• Removing assignee

  F-WRunTime

  committed
  ae37730

  Copy full SHA for ae37730

Commits on Sep 12, 2022

• Merge branch 'master' into feature/new-bug-report-templates

  F-WRunTime

  authored
  0af096a

  Copy full SHA for 0af096a

• Merge branch 'master' into feature/new-bug-report-templates

  F-WRunTime

  authored
  1415d10

  Copy full SHA for 1415d10