ci

Merge pull request #1924 from dgageot/fix-few-docs #4134

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test	2m 54s
lint	2m 9s
license-check	52s
build-image	9m 39s
build	1m 46s
	17m 20s