Inspections

Finalize gmp8 part 2

master . #133 . pull request triggered

  10 new issues, 3 fixed issues found.
02:28
created
Finalize gmp8 part 2

master . #133 . pull request triggered

  10 new issues, 3 fixed issues found.
02:06
created
Merge pull request #132 from bjoernricks/finalize-gmp8

master . 12b62e...11d6ab . push triggered

  4 new issues, 17 fixed issues found.
17s
created
Finalize gmp8 part 1

master . #132 . pull request triggered

  4 new issues, 17 fixed issues found.
02:04
created
Finalize gmp8 part 1

master . #132 . pull request triggered

  4 new issues, 17 fixed issues found.
05:23
created
Finalize gmp8 part 1

master . #132 . pull request triggered

  3 fixed issues found.
31:22
created
Finalize gmp8 part 1

master . #132 . pull request triggered

  Inspection was canceled.
09:57
created
Finalize gmp8 part 1

master . #132 . pull request triggered

  Tests failed.
120:48
created
Finalize gmp8 part 1

master . #132 . pull request triggered

  3 fixed issues found.
02:09
created
Merge pull request #131 from wiegandm/update_dependencies

master . 72800f...12b62e . push triggered

  No notable changes.
22s
created
Update dependencies

master . #131 . pull request triggered

  No notable changes.
06:37
created
Update dependencies

master . #131 . pull request triggered

  No notable changes.
05:58
created
Merge pull request #130 from cfi-gb/fix_typos

master . 01c7e7...72800f . push triggered

  No notable changes.
16s
created
Fix typos.

master . #130 . pull request triggered

  No notable changes.
01:53
created
Merge pull request #129 from Kars-de-Jong/add-details-option-to-get-reports

master . 181982...01c7e7 . push triggered

  1 new issue, 1 fixed issue found.
18s
created
Add boolean "details" option to "get_reports()"

master . #129 . pull request triggered

  1 new issue, 1 fixed issue found.
01:55
created
Add boolean "details" option to "get_reports()"

master . #129 . pull request triggered

  2 new issues found.
04:46
created
Add boolean "details" option to "get_reports()"

master . #129 . pull request triggered

  2 new issues found.
05:08
created
Merge pull request #127 from wiegandm/modify_tag_gmp8

master . a6e713...181982 . push triggered

  No notable changes.
13s
created
Adapt modify_tag to implementation

master . #127 . pull request triggered

  No notable changes.
03:16
created