CI

Merge branch 'dev' into discip-patch-1 #4266

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_c-cpp	29s
tests	12s
build_multi-lang (Pinecil)	36s
build_multi-lang (Pinecilv2)	38s
build (TS100)	58s
check_docs	16s
check_python	16s
build (TS80)	58s
build (TS80P)	1m 7s
check_shell	9s
build (Pinecil)	1m 5s
build (MHP30)	1m 3s
build (Pinecilv2)	2m 19s
build (S60)	1m 1s
build (S60P)	1m 5s
build (T55)	1m 0s
build (TS101)	1m 8s
upload_metadata	50s
	15m 10s