Skip to content

Commit 9f1ccc3

Browse files
ci: Build release on Ubuntu 18.04
1 parent c1cd383 commit 9f1ccc3

File tree

2 files changed

+3
-1
lines changed

2 files changed

+3
-1
lines changed

.github/workflows/release-template.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,5 @@ chmod +x scip-clang
99
```
1010

1111
The `-dev` binaries are meant for debugging issues (for example, if you run into a crash with `scip-clang`), and are not recommended for general use.
12+
13+
Linux binaries should work with Ubuntu 18.04 (Debian Buster) or newer.

.github/workflows/release.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ jobs:
2121
matrix:
2222
# NOTE: GitHub-hosted runners for macOS are x86_64 only
2323
# https://github.com/github/roadmap/issues/528
24-
platform: ['ubuntu-20.04', 'macos-12'] # , 'windows-2022']
24+
platform: ['ubuntu-18.04', 'macos-12'] # , 'windows-2022']
2525
config: ['dev', 'release']
2626
exclude:
2727
- platform: 'macos-12'

0 commit comments

Comments
 (0)