diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-12-03 10:49:15 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-12-17 09:17:54 -0800 |
| commit | 70470ffa453482f359f9270ee7909bb161c0fb86 (patch) | |
| tree | 9a031b48656f0c675e0917b34345252a7c209a36 /dives/tank_pressure.xml | |
| parent | a7d6736665e64c2cc08188ead0086f16d92a9a0d (diff) | |
| download | subsurface-70470ffa453482f359f9270ee7909bb161c0fb86.tar.gz | |
build-system: configure git when running GitHub Action
In order to apply the patches for Kirigami, git insists on having
a valid user name and email.
Also, don't build the mobile app when preparing the AppImage. That
build already takes way too long and we test this in a few other
actions.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'dives/tank_pressure.xml')
0 files changed, 0 insertions, 0 deletions