Merge pull request #680 from SkySkimmer/redbehaviour-pred #807

Job	Run time
install-opam (ubuntu-latest, 4.13.x)	15m 35s
build-extension (macos-latest)	1m 0s
dev-setup-opam (ubuntu-latest, 4.13.x)	10m 43s
build-extension (ubuntu-latest)	1m 19s
nix-dev-build (ubuntu-latest)	8m 38s
install-windows	1h 7m 23s
build-extension (windows-latest)	2m 42s
nix-dev-build (macos-latest)	8m 57s
create-release	0s
	1h 56m 17s

Provide feedback