Create badge

[jakobjpeters]

Package authors may want to display a DispatchDoctor.jl badge akin to Aqua.jl and JET.jl.

Emojipedia says that the stethoscope can be "shown in black, blue, green, or red, depending on the platform". That and the association between medicine and the color white suggests that white is a good color for the label.

[github-actions[bot]]

Benchmark Results

	main	b1e5d4986b0839...	main/b1e5d4986b0839...
_stable/mode=disable	0.721 ± 0.019 μs	0.771 ± 0.011 μs	0.935
_stable/mode=error	0.67 ± 0.021 ms	0.671 ± 0.019 ms	0.998
_stable/mode=warn	0.663 ± 0.029 ms	0.665 ± 0.027 ms	0.998
time_to_load	0.0701 ± 0.00063 s	0.0692 ± 0.0011 s	1.01

Benchmark Plots

A plot of the benchmark results have been uploaded as an artifact to the workflow run for this PR. Go to "Actions"->"Benchmark a pull request"->[the most recent run]->"Artifacts" (at the bottom).

[MilesCranmer]

Nice! Looks awesome 😃

Indeed it looks worse with the colorscheme used by the others: – it's hard to see the stethoscope. So I think the choice you made is good.

[MilesCranmer]

And actually since it's the badge of DispatchDoctor.jl, let's remove the others so there's no confusion about e.g., whether DispatchDoctor exports those or something.

[coveralls]

coverage: 100.0%. remained the same when pulling b1e5d4986b0839b8cdd904c44be3e4e52e8a733d on jakobjpeters:main into c27cb39a6c6b2b71e1ad253f538ebfb337e5f52e on MilesCranmer:main.