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

Merged
merged 1 commit into from
Mar 9, 2020
Merged

Excavator: Update godel to latest version #40

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://palantir.bintray.com/releases/com/palantir/godel/godel/2.18.0/godel-2.18.0.tgz
distributionSHA256=b3bdbddb7e8347adbf9d3328b12efbf5d178e7dfc7353a2cacbbd12ef404b8f6
distributionURL=https://palantir.bintray.com/releases/com/palantir/godel/godel/2.22.6/godel-2.22.6.tgz
distributionSHA256=223d0ec700033f9e410c5320fb451951c8540524caedc89e9c666e42241e61ad
6 changes: 3 additions & 3 deletions godelw
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,9 @@
set -euo pipefail

# Version and checksums for godel. Values are populated by the godel "dist" task.
VERSION=2.18.0
DARWIN_CHECKSUM=fd748300ee17d3cb7ef348b0c76d800320974446fe447ae82a5273d64dbd9b54
LINUX_CHECKSUM=de1159510634db0467e60bce67d38735498dd5f9be74bfb90d340621683cfb75
VERSION=2.22.6
DARWIN_CHECKSUM=db3cd953a094fba5b7da0e16cf4396b5edff079e42fa601e8e87dfd42c865049
LINUX_CHECKSUM=79c4e60bb1f7edde6b08a654cc3481daa474ca5b6235f7711599dbab16394abe

# 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