Code

Add runallcheckers command#351

Code

Open

hannesbraun wants to merge 3 commits intoKITPraktomatTeam:masterKITPraktomatTeam/Praktomat:masterfrom hannesbraun:checker-automationhannesbraun/Praktomat:checker-automationCopy head branch name to clipboard

+49-16

Commits

Commits on Jul 27, 2022

• Move logic to check "latest only failed" solutions to models

  hannesbraun

  committed
  c6b5bbd

  Copy full SHA for c6b5bbd

Commits on Aug 10, 2022

• Add runallcheckers command

  hannesbraun

  committed
  3dd4e8e

  Copy full SHA for 3dd4e8e

Commits on Aug 11, 2022

• Document automated execution of checkers in README

  hannesbraun

  committed
  3600767

  Copy full SHA for 3600767