Inspections

minor

master . 2ca559...52f595 . push triggered

  No notable changes.
07:54
created
update flaws and data

master . 785027...2ca559 . push triggered

  No notable changes.
07:25
created
refactoring timeline gap handling

master . c7eba3...785027 . push triggered

  No notable changes.
06:54
created
refactoring SV path computation

master . ae3765...c7eba3 . push triggered

  1 new issue found.
06:32
created
handling recursion

master . 105606...ae3765 . push triggered

  882 issues, 103 duplications found.
06:46
created
add recursive rules

master . c9f981...105606 . push triggered

  1 fixed issue found.
07:08
created
refactoring planrefinement

master . da9b86...c9f981 . push triggered

  29 new issues found.
07:16
created
adding goal priorities

master . b9ceeb...d21b9c . push triggered

  No notable changes.
13:36
created
adding goal priorities

master . 8192a4...b9ceeb . push triggered

  No notable changes.
07:30
created
updated feedback types

master . af3acd...8192a4 . push triggered

  2 new issues, 1 fixed issue found.
06:50
created
updated feedback types

master . 3b949e...af3acd . push triggered

  1 new issue found.
06:54
created
minor changes

master . 3ad1e4...3b949e . push triggered

  No notable changes.
07:27
created
fixing parameter issues

master . bc2940...3ad1e4 . push triggered

  6 new issues, 24 fixed issues found.
06:51
created
minor

master . 00d193...bc2940 . push triggered

  1 new issue found.
08:14
created
minor

master . 85c870...00d193 . push triggered

  No notable changes.
07:43
created
minor

master . d99a48...85c870 . push triggered

  No notable changes.
07:40
created
minor

master . fcef1b...d99a48 . push triggered

  No notable changes.
07:52
created
handling disjunctive execution and stop conditions

master . ed6750...fcef1b . push triggered

  No notable changes.
05:47
created
handling disjunctive execution and stop conditions

master . cffa13...ed6750 . push triggered

  6 new issues found.
06:08
created
fixing execution failure

master . 359f67...cffa13 . push triggered

  No notable changes.
07:24
created