Inspections

Merge pull request #47 from bjoernricks/docs-updates

master . 0953fa...aa320c . push triggered

  No notable changes.
15s
created
Add usage documentation for gmp

master . #47 . pull request triggered

  No notable changes.
01:55
created
Merge pull request #46 from cfi-gb/fix_typo

master . e13ae7...0953fa . push triggered

  No notable changes.
13s
created
Fix typo.

master . #46 . pull request triggered

  No notable changes.
01:33
created
Merge pull request #45 from bjoernricks/docs-updates

master . 0733d4...e13ae7 . push triggered

  No notable changes.
15s
created
Docs updates

master . #45 . pull request triggered

  No notable changes.
01:33
created
Docs updates

master . #45 . pull request triggered

  No notable changes.
01:25
created
Docs updates

master . #45 . pull request triggered

  No notable changes.
01:32
created
Docs updates

master . #45 . pull request triggered

  No notable changes.
01:37
created
Update version number after beta release

master . 624384...0733d4 . push triggered

  No notable changes.
01:37
created
Merge pull request #44 from bjoernricks/connection-updates

master . 308939...624384 . push triggered

  No notable changes.
19s
created
Connection updates

master . #44 . pull request triggered

  No notable changes.
01:42
created
Merge pull request #42 from bjoernricks/master

master . dda958...308939 . push triggered

  No notable changes.
12s
created
Add a release instruction file

master . #42 . pull request triggered

  No notable changes.
01:17
created
Connection updates

master . #44 . pull request triggered

  No notable changes.
01:24
created
Connection updates

master . #44 . pull request triggered

  No notable changes.
01:44
created
Merge pull request #43 from bjoernricks/connection-improvements

master . f97307...dda958 . push triggered

  1 new issue, 1 fixed issue found.
13s
created
Connection improvements

master . #43 . pull request triggered

  1 new issue, 1 fixed issue found.
01:32
created
Add a release instruction file

master . #42 . pull request triggered

  No notable changes.
01:46
created
Merge pull request #41 from bjoernricks/master

master . 4cbf4d...f97307 . push triggered

  No notable changes.
16s
created