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

Merged
merged 1 commit into from
Jul 18, 2023
Merged

Excavator: Update godel to latest version #278

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.87.0/godel-2.87.0.tgz
distributionSHA256=7cdf78cb2c314e1b0a6251d9484208a0515a749a1317f71d7aa7e675fa4c3b6b
distributionURL=https://github.com/palantir/godel/releases/download/v2.88.0/godel-2.88.0.tgz
distributionSHA256=46e67934455c5f9d1733104eac34a723d1488b9713b647ec0898991b2e6a6398
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.87.0
DARWIN_AMD64_CHECKSUM=43c17617267ecfca49919bc3c33ebb057e1bb625581879c53feea603df1ab0de
DARWIN_ARM64_CHECKSUM=8d94be89c4ed23a11b8a6514e3a41fc9d0b4e7c0e30b3adc6f4829ed803bb4de
LINUX_AMD64_CHECKSUM=46e7c6b91d6088f8a49898073791e39f881f73461aed482eb4fc1fa45108e3cb
LINUX_ARM64_CHECKSUM=c9f1ebc4dd5ce6e4d9868051426de03a45d5fef33111fe820ea589e23043a157
VERSION=2.88.0
DARWIN_AMD64_CHECKSUM=2a53177f31d351760d26f597e4dafa34b5dfa07c2089abc7fa67767759d220fd
DARWIN_ARM64_CHECKSUM=25e15f3f7b9d4b22b203917069b96ddab281326caa6f33559ab70e11892fc267
LINUX_AMD64_CHECKSUM=fe57c18bf4afb39514a74fbc0d043b4c1dec798c6c96d8e134c7400f3b356982
LINUX_ARM64_CHECKSUM=2793d5e81e4f9cda34075dc6cb6a7ecd42e3b5e0e8935e5ea31edbd4fc2c5241

# 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