-
Notifications
You must be signed in to change notification settings - Fork 794
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: complete circleci migration (#461)
* ci: update CircleCI config to use development version of utils and change branch filter * ci: simplify GitHub Pages deployment process using built-in action * ci: remove deprecated GitHub Pages deployment step from CircleCI config * ci: update CircleCI config to use stable version of utils * ci: remove GitHub Pages workflow configuration * ci: update CircleCI config to change GitHub Pages branch and workflow filters
- Loading branch information
1 parent
ae1828f
commit b8c040c
Showing
3 changed files
with
3 additions
and
74 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 |
---|---|---|
|
@@ -3,7 +3,7 @@ version: 2.1 | |
orbs: | ||
gcp-cli: circleci/[email protected] | ||
slack: circleci/[email protected] | ||
utils: ethereum-optimism/[email protected].7 | ||
utils: ethereum-optimism/[email protected].8 | ||
|
||
parameters: | ||
go_version: | ||
|
@@ -88,43 +88,8 @@ jobs: | |
private-key-str: GITHUB_APP_KEY | ||
app-id: GITHUB_APP_ID | ||
repo: $CIRCLE_PROJECT_USERNAME/$CIRCLE_PROJECT_REPONAME | ||
# Deploy to GitHub Pages | ||
- run: | ||
name: Deploy to GitHub Pages | ||
command: | | ||
pages_branch="gh-pages-test" | ||
SOURCE_COMMIT=$(git rev-parse HEAD) | ||
SOURCE_REPO="${CIRCLE_PROJECT_USERNAME}/${CIRCLE_PROJECT_REPONAME}" | ||
USERNAME=${CIRCLE_USERNAME} | ||
# Extract the email from the user info | ||
ID=$(curl https://api.github.com/users/$USERNAME | jq -r '.id') | ||
USER_EMAIL="${ID}+${USERNAME}@users.noreply.github.com" | ||
# Git operations with committer's identity | ||
git config --global user.name "${USERNAME}" | ||
git config --global user.email "${USER_EMAIL}" | ||
# Remove all files from staging | ||
git reset --hard | ||
#checkout target branch | ||
git fetch origin ${pages_branch} | ||
git checkout ${pages_branch} | ||
# Clean working directory | ||
rm -rf * | ||
# Copy new files | ||
cp -a /tmp/pages/. . | ||
# Commit and push | ||
git add . | ||
git commit -m "Deploying to gh-pages from @ ${SOURCE_REPO}@${SOURCE_COMMIT} 🚀" | ||
git push "https://x-access-token:${GITHUB_APP_TOKEN}@github.com/${CIRCLE_PROJECT_USERNAME}/${CIRCLE_PROJECT_REPONAME}.git" ${pages_branch} | ||
- utils/github-pages-deploy: | ||
src-pages-dir: /tmp/pages | ||
docker-release: | ||
environment: | ||
DOCKER_BUILDKIT: 1 | ||
|
Empty file.
This file was deleted.
Oops, something went wrong.