IMDB lists the full cast and crew for The Empire Strikes Back (1980).
"Star Wars: Episode V - The Empire Strikes Back (1980) Full Cast & Crew," IMDB, accessed February 2, 2023
[full cast and crew for The Empire Strikes Back]