Zip file name when specify the handler of a AWS Python function

I have a ping.zip file that contains a handle() function.
I have a GitHub Action that create a function.zip file within the ping.py file.
After that it call this serverless.yml:

service: PingService

provider:
  name: aws
  runtime: python3.8

functions:
  ping:
    handler: ping.handle
    events:          
      - http:
          method: GET
          path: ping      

It fails because it cannot find the PingService.zip file.
It seems it is looking for a file named “{service name}.zip”
Where can I find documentation?
(https://www.serverless.com/framework/docs/providers/aws/guide/functions/ says nothing about the source/zip for the handler.)
For a C# Lambda I use “package” and “artifact” to specify the zip file but it does not work with Python.
How can I specify the name of the zip file?