Skip to content

Commit

Permalink
Merge remote-tracking branch 'parent/main'
Browse files Browse the repository at this point in the history
  • Loading branch information
maxkratz committed Sep 12, 2024
2 parents 8638e67 + f26e774 commit 1cdce73
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ on:

env:
# Eclipse version to use in this CI
VERSION: "2024-06"
VERSION: "2024-09"
# emoflon-headless source URL (needed by macOS-based runner workaround)
EMOFLON_HEADLESS_SRC: "https://api.github.com/repos/eMoflon/emoflon-headless/releases/latest"
# import plugin URL
Expand Down
4 changes: 2 additions & 2 deletions build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ OUTPUT_FILE_PREFIX_LINUX="eclipse-gips-linux"
OUTPUT_FILE_PREFIX_WINDOWS="eclipse-gips-windows"
OUTOUT_FILE_PREFIX_MACOS="eclipse-gips-macos"
OUTOUT_FILE_PREFIX_MACOSARM="eclipse-gips-macos-arm"
MIRROR="https://ftp.fau.de"
MIRROR="https://www.eclipse.org/downloads/download.php?file="
UPDATESITES="https://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/,https://hallvard.github.io/plantuml/,https://hipe-devops.github.io/HiPE-Updatesite/hipe.updatesite/,https://www.kermeta.org/k2/update,https://emoflon.org/emoflon-ibex-updatesite/snapshot/updatesite/,https://www.genuitec.com/updates/devstyle/ci/,https://download.eclipse.org/releases/$VERSION,https://www.codetogether.com/updates/ci/,http://update.eclemma.org/,https://pmd.github.io/pmd-eclipse-plugin-p2-site/,https://checkstyle.org/eclipse-cs-update-site/,https://spotbugs.github.io/eclipse/,https://download.eclipse.org/technology/m2e/releases/latest,https://echtzeitsysteme.github.io/gips-updatesite/snapshot/updatesite/"
EMOFLON_HEADLESS_SRC="https://api.github.com/repos/eMoflon/emoflon-headless/releases/latest"

Expand Down Expand Up @@ -207,7 +207,7 @@ remove_update_sites () {
# Check if script needs to download the initial Eclipse archive.
if [[ ! -f "./$ARCHIVE_FILE" ]]; then
log "Downloading Eclipse $VERSION archive from $MIRROR."
wget -q $MIRROR/eclipse/technology/epp/downloads/release/$VERSION/R/$ARCHIVE_FILE
wget -q "$MIRROR/technology/epp/downloads/release/$VERSION/R/$ARCHIVE_FILE&r=1" -O $ARCHIVE_FILE
fi

if [[ "$MODE" = "user" ]]; then
Expand Down

0 comments on commit 1cdce73

Please sign in to comment.