mirror of
https://github.com/subsurface/subsurface.git
synced 2025-02-19 22:16:15 +00:00
015ac0e459
Change the builds on push (i.e. pull request merges) to build release versions. This seems to be the correct way to build these, as they are now distributed as the official builds on https://subsurface-divelog.org/. For users wanting to help with debugging, build artifacts on pull requests are available, and these are debug builds. Also adding the option to manually trigger builds, so if needed debug builds can be run on `master`. Signed-off-by: Michael Keller <github@ike.ch> |
||
|---|---|---|
| .. | ||
| android | ||
| copr | ||
| headless | ||
| ios | ||
| macosx | ||
| OBS | ||
| ubuntu | ||
| windows | ||