Build

Fix opentracing header name issue #3160

Job	Run time
build-graal	8m 16s
Build (macos-latest, 8)	7m 53s
Build (macos-latest, 11)	5m 55s
Build (macos-latest, 17)	5m 50s
Build (macos-latest, 20)	4m 33s
Build (ubuntu-latest, 8)	4m 7s
Build (ubuntu-latest, 11)	4m 29s
Build (ubuntu-latest, 17)	4m 42s
Build (ubuntu-latest, 20)	3m 58s
Build (ubuntu-20.04, 17, true)	6m 9s
markdown-link-check / markdown-link-check	54s
misspell-check / misspell-check	6s
publish-snapshots (skipped)	8s
required-status-check	1s
	57m 1s

Provide feedback