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.

Sign up for GitHub

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 #836

Merged
merged 1 commit into from
Sep 7, 2024
+7 −7
Merged

Excavator: Update godel to latest version #836

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
distributionURL=https://github.com/palantir/godel/releases/download/v2.115.0/godel-2.115.0.tgz
distributionSHA256=cfdfd5a8f84963338052e6f94b32aab63e1ef661342045145b256230b4f96c54
distributionURL=https://github.com/palantir/godel/releases/download/v2.117.0/godel-2.117.0.tgz
distributionSHA256=de40a69d3a1845ad3f0d484c25f87c1114a8ad8ed53b087297025de45613c69b
10 changes: 5 additions & 5 deletions godelw
View file
Open in desktop
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.115.0
DARWIN_AMD64_CHECKSUM=24cb97ceeddf31a72fa9122e310e16c8bed2adeb8d13c33dbf132d498b14108f
DARWIN_ARM64_CHECKSUM=6df6d97e463c2c1cf6654524e7e116b0f3551d2fcd3772605fc87a6a33a0d52d
LINUX_AMD64_CHECKSUM=8e0292c66ccb98b9b19090ec18903009d72bd0c1dfef596bfd7aaedb93c887eb
LINUX_ARM64_CHECKSUM=ef2db4e9c5ae18160638f65c0722452989d8de068e976152d000938e21a8608c
VERSION=2.117.0
DARWIN_AMD64_CHECKSUM=c59a722572dea48ee0150312202a569b09da55fdb55f5d8705c3fb122c5f8915
DARWIN_ARM64_CHECKSUM=20ec79770389b046b2f45abc957df140fc1ecea80eef0c587c161b51bbdf0ccc
LINUX_AMD64_CHECKSUM=7b571b36d50e98cdead1b3019fb4d2e98e4f4fbd9796c6cc388f9d12e5ed2ac5
LINUX_ARM64_CHECKSUM=b14bc02882c062701dbf004aa701978550923e620c65f14f3af7c5d7b50dbf1e

# 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