remi-san / lock

GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.

Completed

Pull Request — master (#1)

by Rémi

created 2016-08-30 18:22 UTC

Changes

	1 issue (minor) was introduced.
	1 new patch (Doc Comments) is available.
	4 added classes/operations
		A	RedLock::monitoredLockingOfAllInstances() added
		A	RedLock::lockInstances() added
		A	RedLock::setQuorum() added
		A	RedLock::checkQuorum() added
B	↗	A	RedLock::lock() improved

▲ + 0.1

Test Coverage

100%

▶ ±0%

Head	Rémi San 2016-08-30 18:22 GMT+0000 Merge 423e87f34d2fd09def95a58a59d31e198ed8917f into 5c076b3ad13e68fb45535e2349c07150a70e3069
⋮	1 more commit
Base	remi-san 2016-08-30 16:27 UTC changed insight medal