pavpanchekha / setup-z3

Install the Z3 binary in Github Actions

setup-z3

This Action sets up Z3 by downloading a release build.

Usage

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: glibc-2.31 by default for use on ubuntu; find other options here.

setup-z3's Issues

Action doesn't work for version 4.12.1 on a Ubuntu 20.04

Reference: https://github.com/cedar-policy/cedar-spec/actions/runs/5448829755/jobs/9912466578

It seems Z3 changes download link format.

Check failure: The `add-path` command is deprecated and will be disabled soon

Hi @pavpanchekha 👋

Thank you so much for your action 🙌

Request

Please, could you create a new release ?

Reason

The add-path command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2020-10-01-github-actions-deprecating-set-env-and-add-path-commands/

And #3 made the required upgrade.

We removed all the commands when using your action and if it's not fixed we'll have to add the commands again.

Thanks in advance!

Publish latest version

The last published version is v1.2.2.
This version does not have the distribution parameter.

Versioning confusion

The latest published version on the marketplace is 1.2.2 but this version doesn't support the distribution argument. However, the latest release (0.3.0) does.
You may have been confused with versioning. Can you update the latest version on the marketplace please?

Download file name construction for newer z3 releases.

Thanks for this action. I've been contributing to some of the Liquid Haskell repos and this action is in use there.

      - name: Setup z3
        uses: pavpanchekha/[email protected]
        with:
          version: "4.8.7"

It looks like file name construction won't work for some of the newer releases of the z3 solver.

setup-z3/index.js

Lines 5 to 6 in 77c3359

	let path = "https://github.com/Z3Prover/z3/releases/download/z3-" + version;
	let file = "z3-" + version + "-" + architecture + "-" + distribution + ".zip";

The z3-4.8.17 binaries:

The z3-4.10.2 binaries: