There's no way to trigger CI on push OR PR, since the CI build
on push is triggered immediately and when the PR is created the
push run is already underway.
Also, make some cosmetic changes to the artifact name to include
the date, inav version and git revision.
