Dockerhub images not updating

[AndrewFasano]

The last update to our dockerhub images happened 14 days ago, but we've merged some PRs since and our CI jobs have successfully run on them.

For example in https://github.com/panda-re/panda/actions/runs/7344249533/job/19995838781 we build the panda and pandadev containers, but it seems like they're no longer pushed to dockerhub

[cctv130]

I suggest that we should be able to please the core functions of into the https://github.com/tklengyel/drakvuf (for example the replay, records, etc.), the activity of panda is very low, completely lost confidence to me.

[coolkingcole]

@cctv130 If you'd like to change something about the core functionality of panda, open an issue and you can ideally make the changes you would like into a pull request. This issue is about a breaking change in relation to recent CI/CD changes.

[coolkingcole]

@AndrewFasano I think this commit fixes it. The latest is pushed now.

Added to docker actions:

with:
   push: true

Also each container is tagged with its hash and a shorter tag now.

[AndrewFasano]

Amazing, thank you so much!