ci: Build release on Ubuntu 18.04

sourcegraph · Apr 12, 2023 · 9f1ccc3 · 9f1ccc3
1 parent c1cd383
commit 9f1ccc3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/release-template.md b/.github/workflows/release-template.md
@@ -9,3 +9,5 @@ chmod +x scip-clang
 ```
 
 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.
+
+Linux binaries should work with Ubuntu 18.04 (Debian Buster) or newer.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -21,7 +21,7 @@ jobs:
       matrix:
         # NOTE: GitHub-hosted runners for macOS are x86_64 only
         # https://github.com/github/roadmap/issues/528
-        platform: ['ubuntu-20.04', 'macos-12'] # , 'windows-2022']
+        platform: ['ubuntu-18.04', 'macos-12'] # , 'windows-2022']
         config: ['dev', 'release']
         exclude:
           - platform: 'macos-12'
Original file line number	Diff line number	Diff line change
Expand Up		@@ -9,3 +9,5 @@ chmod +x scip-clang
		```

		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.

		Linux binaries should work with Ubuntu 18.04 (Debian Buster) or newer.