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

Jump to bottom

Excavator: Update godel to latest version #364

Merged
merged 1 commit into from
Jun 24, 2024
Merged

Excavator: Update godel to latest version #364

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.109.0/godel-2.109.0.tgz
distributionSHA256=2f584d2e6232aca0409ba9dba32d0e5f810be5770f38a0c64f073d15c5f0926b
distributionURL=https://github.com/palantir/godel/releases/download/v2.111.0/godel-2.111.0.tgz
distributionSHA256=20011fa72b8cc394269727497d98d6e54527c739cea1d710769b0dcee6e0093a
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.109.0
DARWIN_AMD64_CHECKSUM=4acc8002b8a4ed666ce75d9e2a23d58e78ae3ef960c22c7588414ab09d71ad85
DARWIN_ARM64_CHECKSUM=d4bd42f50fc5f1c8f1fb751f19790683236e71dac3098fe8eb3e01c37b0606b0
LINUX_AMD64_CHECKSUM=89ea803a20ed7996f1a6ff7f21f60270b6d34d4b98e316aa6280c51e72550177
LINUX_ARM64_CHECKSUM=f4a4386a157eda73b3d8d9e8eb39a7b9760906176c8b26a701dd9f7608140e73
VERSION=2.111.0
DARWIN_AMD64_CHECKSUM=980b252b83a8fd29fab985cfc9cbaa4ce1f5ea6f5b22b35b7e84a32452db969e
DARWIN_ARM64_CHECKSUM=594c5450aae82a8e952881245d499b3e6da75b36a4b53823dfcdfcc722347d2f
LINUX_AMD64_CHECKSUM=917596aa815075dedcec5a1f41e9f7f49355b1f09106ab56105ab4e60a7cea67
LINUX_ARM64_CHECKSUM=b59a02bb4c9ce007a25a01c4d8c5106fc230134d13b4a296f6c6d8c148ae09d4

# 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