CI

Introduce dedicated event publisher per document (#1052) #3206

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci-target-check	3s
build	6m 11s
complex-test	4m 45s
bench	4m 42s
	15m 41s