Hans Ulrich Niedermann 8a81970cf8 gh workflow: remove apt-get dist-upgrade ...

We probably do not need to dist-upgrade (or upgrade), and dist-upgrade
can take a long time on the github runners.

We only had this while trying to work out how to work around the
libgd-dev dependency issue, so we can remove the dist-upgrade step.

2022-09-04 19:13:57 +02:00

..

ISSUE_TEMPLATE

Update issue templates

2019-01-26 15:06:14 +01:00

workflows

gh workflow: remove apt-get dist-upgrade

2022-09-04 19:13:57 +02:00