For what you're doing I doubt it matters all that much.
Gravel is a somewhat loose term, local dependent.
In ScCal a lot of what goes for gravel is really crushed rock.
You might consider some sort of geotextile or substitute, like shade
cloth, to minimize soil & debris infiltration.
If you really want to get technical take a look at these
HomeOwnersHub.com is a website for homeowners and building and maintenance pros. It is not affiliated with any of the manufacturers or service providers discussed here.
All logos and trade names are the property of their respective owners.