Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Excavator: Update godel to latest version #837

Merged
merged 1 commit into from
Sep 10, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions godel/config/godel.properties
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
distributionURL=https://github.com/palantir/godel/releases/download/v2.117.0/godel-2.117.0.tgz
distributionSHA256=de40a69d3a1845ad3f0d484c25f87c1114a8ad8ed53b087297025de45613c69b
distributionURL=https://github.com/palantir/godel/releases/download/v2.119.0/godel-2.119.0.tgz
distributionSHA256=804d51fa62b04611b6e0d197acd2da002df73b459309e737df75da69c24c8c95
10 changes: 5 additions & 5 deletions godelw
Original file line number Diff line number Diff line change
Expand Up @@ -3,11 +3,11 @@
set -euo pipefail

# Version and checksums for godel. Values are populated by the godel "dist" task.
VERSION=2.117.0
DARWIN_AMD64_CHECKSUM=c59a722572dea48ee0150312202a569b09da55fdb55f5d8705c3fb122c5f8915
DARWIN_ARM64_CHECKSUM=20ec79770389b046b2f45abc957df140fc1ecea80eef0c587c161b51bbdf0ccc
LINUX_AMD64_CHECKSUM=7b571b36d50e98cdead1b3019fb4d2e98e4f4fbd9796c6cc388f9d12e5ed2ac5
LINUX_ARM64_CHECKSUM=b14bc02882c062701dbf004aa701978550923e620c65f14f3af7c5d7b50dbf1e
VERSION=2.119.0
DARWIN_AMD64_CHECKSUM=43c1bcd06f2db28c62b14294bef89986a0dad48fe706893425ffb4b418155d47
DARWIN_ARM64_CHECKSUM=73aa3b2ab838b2ea6af34954b611e181d8b11d2a940ad00abba22c9c86cefd32
LINUX_AMD64_CHECKSUM=77178fcc7b0c1bdeba106d85d93665a15236306f011357f82f0c6d27b33bba8d
LINUX_ARM64_CHECKSUM=1365599b5accb930c6e0bfcf8f1addb1deaeb01b0df935a2bf6743dbd9f20b79

# Downloads file at URL to destination path using wget or curl. Prints an error and exits if wget or curl is not present.
function download {
Expand Down