Robbert van der Helm dcc8f285a8 Fix the automatic builds on GitHub Actions ...

Squash of the following commits:

WIP: Build workflow on all branches

WIP: Reduce noise from wget

WIP: Don't use bash-style redirects

WIP: Use variables for Boost url and checksum

WIP: Manually set a Wine prefix

The user that's executing the job does not own the home directory for
some reason.

WIP: Fix typos in workflow

WIP: Don't use bash-style brace expansion

This is run under dash.

WIP: Fix archive name for Ubuntu 20.04 build

WIP: Fetch tags for git-describe

WIP: Fetch all git history for git-describe

WIP :Rename the workflow

Since this is what will appear on the status badge.

2020-05-06 17:43:45 +02:00

..

workflows

Fix the automatic builds on GitHub Actions

2020-05-06 17:43:45 +02:00