Merge pull request #8 from typechecker/add/distro-name-change

Note the default distribution in the readme.
pavpanchekha · Aug 9, 2022 · 40b7f16 · 40b7f16
2 parents 6b2d476 + 2db555c
commit 40b7f16
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -10,6 +10,6 @@ Just use the `pavpanchekha/setup-z3` action. It has three inputs:
 
 - `version`: a version number for Z3; **required**.
 - `architecture`: `x64` by default, can be set to `x86` for the Windows build.
-- `distribution`: `ubuntu-18.04` by default; find other options [here][z3-releases].
+- `distribution`: `glibc-2.31` by default for use on `ubuntu`; find other options [here][z3-releases].
 
 [z3-releases]: https://github.com/Z3Prover/z3/releases