-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
1838dbc
commit 98abe06
Showing
136 changed files
with
453 additions
and
453 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -18,7 +18,7 @@ add-changelog-entry: | |
if [[ $exit_code != 0 ]]; then | ||
exit $exit_code | ||
fi | ||
- git remote rm origin && git remote add origin "[email protected]:ligolang/ligo.git" | ||
- git remote rm origin && git remote add origin "[email protected]:mavryk-network/ligo.git" | ||
- git add changelog/* changelog-tools/* | ||
- git commit -m "[Bot] add changelog entry" | ||
- git push origin HEAD:$CI_COMMIT_REF_NAME | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -63,7 +63,7 @@ build_release_env_vars: | |
create-tag: | ||
stage: release | ||
script: | ||
- git remote rm origin && git remote add origin "[email protected]:ligolang/ligo.git" | ||
- git remote rm origin && git remote add origin "[email protected]:mavryk-network/ligo.git" | ||
# Don't want to tag for testing | ||
- echo $DRY_RUN_RELEASE | ||
- | | ||
|
@@ -136,7 +136,7 @@ docker-m1: | |
- docker image rm -f "${LIGO_IMAGE_TAG}-builder" >/dev/null 2>&1 || true | ||
- docker image rm -f "${LIGO_IMAGE_TAG}" >/dev/null 2>&1 || true | ||
rules: | ||
- if: '$CI_COMMIT_TAG =~ /[0-9]+\.[0-9]+\.[0-9]/ && $CI_PROJECT_PATH == "ligolang/ligo"' | ||
- if: '$CI_COMMIT_TAG =~ /[0-9]+\.[0-9]+\.[0-9]/ && $CI_PROJECT_PATH == "mavryk-network/ligo"' | ||
when: always | ||
artifacts: | ||
paths: | ||
|
@@ -192,11 +192,11 @@ create_docker_stable_version: | |
- job: determine_new_stable_version | ||
artifacts: true | ||
script: | ||
- docker pull ligolang/ligo:$STABLE_VERSION | ||
- docker pull mavrykdynamics/ligo:$STABLE_VERSION | ||
- | | ||
if [[ $DRY_RUN_RELEASE == "" ]]; then | ||
docker tag ligolang/ligo:$STABLE_VERSION ligolang/ligo:stable | ||
docker push ligolang/ligo:stable | ||
docker tag mavrykdynamics/ligo:$STABLE_VERSION mavrykdynamics/ligo:stable | ||
docker push mavrykdynamics/ligo:stable | ||
fi | ||
update_release_metadata: | ||
|
@@ -234,7 +234,7 @@ update_release_metadata: | |
if [[ $DRY_RUN_RELEASE != "" ]]; then | ||
CI_COMMIT_TAG=${CI_COMMIT_BRANCH#"release/"} | ||
fi | ||
- git remote rm origin && git remote add origin "[email protected]:ligolang/ligo.git" | ||
- git remote rm origin && git remote add origin "[email protected]:mavryk-network/ligo.git" | ||
- git fetch | ||
- git checkout release/$CI_COMMIT_TAG | ||
- ./.ci/scripts/release_metadata/edit_release_metadata.sh LAST_RELEASE_VERSION $CI_COMMIT_TAG | ||
|
@@ -372,7 +372,7 @@ update-ligo-bin-PKGBUILD: | |
stage: pretooling | ||
script: | ||
- LAST_TAG_JOB_ID=`./.ci/scripts/release_metadata/read_release_metadata.sh LAST_TAG_JOB_ID` | ||
- ./.ci/scripts/AUR/create_new_pkgbuild_version.sh https://gitlab.com/ligolang/ligo/-/jobs/$LAST_TAG_JOB_ID/artifacts/raw/ligo.deb $RELEASE_VERSION | ||
- ./.ci/scripts/AUR/create_new_pkgbuild_version.sh https://gitlab.com/mavryk-network/ligo/-/jobs/$LAST_TAG_JOB_ID/artifacts/raw/ligo.deb $RELEASE_VERSION | ||
- cp ./.ci/scripts/AUR/ligo.PKGBUILD ./ligo-bin/PKGBUILD | ||
needs: | ||
- job: initialize-aur-repo | ||
|
@@ -417,7 +417,7 @@ calculate_nix_SRI: | |
when: always | ||
script: | ||
- LAST_TAG_JOB_ID=`./.ci/scripts/release_metadata/read_release_metadata.sh LAST_TAG_JOB_ID` | ||
- BINARY_GITLAB_ARTIFACT_URL="https://gitlab.com/ligolang/ligo/-/jobs/$LAST_TAG_JOB_ID/artifacts/raw/ligo" | ||
- BINARY_GITLAB_ARTIFACT_URL="https://gitlab.com/mavryk-network/ligo/-/jobs/$LAST_TAG_JOB_ID/artifacts/raw/ligo" | ||
- SRI_LIGO_BINARY_HASH=$(nix --extra-experimental-features nix-command hash to-sri --type sha256 $(nix-prefetch-url --type sha256 --quiet $BINARY_GITLAB_ARTIFACT_URL)) | ||
- echo "SRI_LIGO_BINARY_HASH=${SRI_LIGO_BINARY_HASH}" >> nixSriLigoBinary.env | ||
artifacts: | ||
|
@@ -446,7 +446,7 @@ update-repository-status: | |
script: | ||
- git submodule sync --recursive | ||
- git submodule update --init --recursive --remote --force | ||
- git remote rm origin && git remote add origin "[email protected]:ligolang/ligo.git" | ||
- git remote rm origin && git remote add origin "[email protected]:mavryk-network/ligo.git" | ||
- node scripts/manpages/manpages.js ./ligo | ||
- ./.ci/scripts/build_website_references_from_stdlib/main.sh ligo | ||
- ./.ci/scripts/versioning_website.sh $RELEASE_VERSION | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,5 @@ | ||
author: nicolas.van.phan | ||
description: Closes(https://gitlab.com/ligolang/ligo/-/issues/1390) | ||
description: Closes(https://gitlab.com/mavryk-network/ligo/-/issues/1390) | ||
merge_request: '1722' | ||
title: Typer context - Replace lists by maps | ||
type: fixed |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,8 @@ | ||
author: Laucans | ||
description: '\nAdd ligo installation through brew package manager. \nBy using \n\n```\nbrew | ||
tap ligolang/ligo https://gitlab.com/ligolang/ligo.git\nbrew install ligolang/ligo/ligo\n\n```\nYou | ||
tap mavryk-network/ligo https://gitlab.com/mavryk-network/ligo.git\nbrew install mavryk-network/ligo/ligo\n\n```\nYou | ||
can also install one of the three last version by targeting the version after \"@\" | ||
: \n\n```\nbrew install ligolang/ligo/[email protected]\n\n```' | ||
: \n\n```\nbrew install mavryk-network/ligo/[email protected]\n\n```' | ||
merge_request: '1950' | ||
title: add brew formula into ligo monorepo | ||
type: added |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
author: ulrikstrid | ||
description: '#### nix improvements\n\nAdd package that provides `ligo` with with `esy`.\nUsage: | ||
`nix run gitlab:ligolang/ligo#withEsy -- install`' | ||
`nix run gitlab:mavryk-network/ligo#withEsy -- install`' | ||
merge_request: '1974' | ||
title: Adds a package wrapped in esy | ||
type: added |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.