Experiment with rolling credits and see what seems to long or too short to you. You need to have an instinct for these things, just like you would editing a scene. There is no industry standard, but a short film isn't going to have 180 people involved, so don't look at feature credits for...