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

Merged
merged 1 commit into from
Feb 19, 2025
Merged

Excavator: Update godel to latest version #916

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.124.0/godel-2.124.0.tgz
distributionSHA256=85ba085ab6b2446c729b799e6d57c6a218e24977314d8a18c55d460599fe0e05
distributionURL=https://github.com/palantir/godel/releases/download/v2.125.0/godel-2.125.0.tgz
distributionSHA256=1e2e7a763a8af8ba9e3a4b9bcc39d9575ffa991b6edd9c5b68fdac766b385f59
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.124.0
DARWIN_AMD64_CHECKSUM=a3a721a05841dec48aa08fa7f6e468625ef847413bbfddfd336504dbb3415d63
DARWIN_ARM64_CHECKSUM=82feefde68f43b6b15e7fb92ff87037c3a6aea445a14e7443d95d017e5518ae1
LINUX_AMD64_CHECKSUM=6bba75f82b250445a0fe269040a145d64cc05debf48f62c45ba3478d8e9335ee
LINUX_ARM64_CHECKSUM=30f6eef578e581ad90a72b6a94119bb1aea05fcc9e60c39330ff247e398992aa
VERSION=2.125.0
DARWIN_AMD64_CHECKSUM=b59ed2830dcf67b5b86cdb21018d61426448905405b35c5688f41f0689acea14
DARWIN_ARM64_CHECKSUM=27da208108c5de3652478f3df89883b0f76b603cadec0d375009ffa331926a0b
LINUX_AMD64_CHECKSUM=3cc3596b42dd6fdceca419eae167a3bf513a63b57fe302d434e0fc9378d21392
LINUX_ARM64_CHECKSUM=293b8b4cb93471582d2210cdbfff4121680b2342796797e53f0fdb1a1d2c3337

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