100755 blob e5037efb3957c54ef224029a59fee0d143bc4915	generate_badges.d
100755 blob 25b59f9ce6d57c8b05643601e1e3b70d62406a75	make_release.sh
100755 blob 053ffa9657bdcecd8658917989badc3f7b3b64bd	run_integration.sh
100755 blob 0947e36cef87ce183956cff63e3d13d48436e49f	test_integration.sh