cda-tum / setup-z3

Set up a specific version of the Z3 theorem prover

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

The `set-output` command is deprecated and will be disabled soon.

daemontus opened this issue · comments

Hi!

There is currently a warning produced by this action:

Warning: The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Any plans to fix this issue?

(If the action indeed eventually stops working, I'll be happy to try to fix it myself, but right now I sadly don't really have the time to learn the ins and outs of the actions api)

Hi 👋🏼

That should be easy enough to fix. I'll try to have a look asap!

Awesome, thank you!

As it turns out, this has already been fixed in the main branch by the dependabot update in #13.
I just released v1.0.6 of the setup-z3 action, which contains the updated dependency.
Please feel free to reopen, if this should not fix the issue.

Confirmed. The warning is gone with the new version. Thank you!