Gallopsled / pwntools / 5714699174

19%

push

github-actions

Fix pushing docker images on manual workflow run (#2250)

* Fix pushing docker images on manual workflow run

Running the docker workflow manually would associate the run with the
`dev` branch. The generated tags would all point to the `dev` tag, so
tag the image manually to the correct branch.

* Fix building ci image

It's called `python2.7` instead of `python`.

* Add riscv64 binutils to base image

4557 of 7226 branches covered (63.06%)

12776 of 17178 relevant lines covered (74.37%)

0.74 hits per line