[v4.2.0] Update version number and kernel version #6503

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	13s
formatting	13s
spell-check	1m 30s
spell-check	1m 30s
build-checks	1m 6s
build-checks	1m 6s
complexity	25s
complexity	25s
doxygen	22s
doxygen	22s
git-secrets	5s
git-secrets	5s
link-verifier	1m 37s
link-verifier	1m 37s
unittest	39s
unittest	39s
verify-manifest	15s
verify-manifest	15s
proof_ci	5m 36s
proof_ci	6m 27s
	24m 27s