mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity

gh orb

Browse Source
pull/5370/head
filip mertens 2 years ago
parent a3e31c85ab
commit 6edd7f76cf
2 changed files with 2 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 1
      .circleci/config.yml
  2. 2
      apps/remix-ide/ci/publish_plugin.sh

1
.circleci/config.yml
Unescape View File

@ -6,6 +6,7 @@ parameters:
default: false default: false
orbs: orbs:
browser-tools: circleci/browser-tools@1.4.1 browser-tools: circleci/browser-tools@1.4.1
github-cli: circleci/github-cli@2.2.0
jobs: jobs:
build: build:
docker: docker:

2
apps/remix-ide/ci/publish_plugin.sh
Unescape View File

@ -2,7 +2,7 @@
set -e set -e
sudo apt install gh gh
git config --global user.name "$COMMIT_AUTHOR" git config --global user.name "$COMMIT_AUTHOR"
git config --global user.email "$COMMIT_AUTHOR_EMAIL" git config --global user.email "$COMMIT_AUTHOR_EMAIL"

Write Preview
Loading…
Cancel
Save