[BUG] 0.8.2 ZIP distribution is broken #500
Labels
Milestone
Comments
|
@shonfeder , could you have a look? I guess it is an artifact of the automatic release process. |
|
Whoop, I was checking the tar. |
|
Thanks for the report, @andrey-kuprianov. the workaround for the time being is to use the tgz: https://github.com/informalsystems/apalache/releases/download/v0.8.2/apalache-v0.8.2.tgz |
shonfeder
changed the title
shonfeder
added a commit
to shonfeder/apalache
that referenced
this issue
Jan 28, 2021
Closes apalache-mc#500 The tar operation was automatically relativizing the path, but not the zip. So I went back to just using a relative path for the jar.
shonfeder
added a commit
to shonfeder/apalache
that referenced
this issue
Jan 28, 2021
Closes apalache-mc#500 The tar operation was automatically relativizing the path, but not the zip. So I went back to just using a relative path for the jar.
shonfeder
added a commit
to shonfeder/apalache
that referenced
this issue
Jan 28, 2021
Closes apalache-mc#500 The tar operation was automatically relativizing the path, but not the zip. So I went back to just using a relative path for the jar.
shonfeder
added a commit
that referenced
this issue
Jan 28, 2021
Closes #500 The tar operation was automatically relativizing the path, but not the zip. So I went back to just using a relative path for the jar.
shonfeder
added a commit
that referenced
this issue
Jan 28, 2021
Closes #500 The tar operation was automatically relativizing the path, but not the zip. So I went back to just using a relative path for the jar.
shonfeder
added a commit
that referenced
this issue
Jan 28, 2021
Closes #500 The tar operation was automatically relativizing the path, but not the zip. So I went back to just using a relative path for the jar.
Merged
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The archive structure of apalache-v.0.8.2.zip is broken
instead of
mod-distributionit contains/home/runner/work/apalache/apalache/mod-distribution/To Reproduce
Download from https://github.com/informalsystems/apalache/releases
The text was updated successfully, but these errors were encountered: