Merge pull request #691 from maximedenes/fix-invalidation-bug #822

Job	Run time
dev-setup-opam (ubuntu-latest, 4.13.x)	8m 30s
install-windows	53m 1s
build-extension (macos-latest)	1m 7s
install-opam (ubuntu-latest, 4.13.x)	8m 39s
build-extension (ubuntu-latest)	40s
nix-dev-build (ubuntu-latest)	5m 59s
build-extension (windows-latest)	2m 20s
nix-dev-build (macos-latest)	15m 19s
create-release	5s
	1h 35m 40s

Provide feedback