Você pode converter sua string em inteiros assim:
time(*[int(arg) for arg in "7, 12, 56".split(", ")])
Passo a passo
departure_time = "7, 12, 56"
departure_time = departure_time.split(", ")
#['7', '12', '56']
departure_time = [int(arg) for arg in departure_time]
#[7, 12, 56]
O Asterisco (*) é usado para empacotar (packing) os argumentos em uma lista.
O código completo poderia ser assim:
from datetime import time
def main():
separator = ":"
departure_time = input(
f"What is your departure time (hours{separator}minutes{separator}seconds)? "
).split(separator)
departure = time(*[int(args) for args in departure_time])
print(departure)
if __name__ == '__main__':
main()