42 lines
1.2 KiB
YAML
42 lines
1.2 KiB
YAML
|
name: Edges
|
||
|
|
|
||
|
|
on:
|
||
|
|
workflow_dispatch:
|
||
|
|
schedule:
|
||
|
|
- cron: '7 */5 * * *'
|
||
|
|
|
||
|
|
jobs:
|
||
|
|
updateEdges:
|
||
|
|
runs-on: ubuntu-latest
|
||
|
|
|
||
|
|
steps:
|
||
|
|
- uses: actions/checkout@v2
|
||
|
|
- name: Build
|
||
|
|
run: cargo build --verbose --release
|
||
|
|
- name: Download safes
|
||
|
|
run: ./download_safes.py
|
||
|
|
- name: Convert to binary
|
||
|
|
run: |
|
||
|
|
cargo run --release --bin convert -- --safes-json safes.json --edges-bin edges.dat
|
||
|
|
mv edges.dat /tmp/
|
||
|
|
- name: Push to gh-pages
|
||
|
|
env:
|
||
|
|
DEPLOY_KEY: ${{ secrets.DEPLOY_KEY }}
|
||
|
|
run: |
|
||
|
|
git config --local user.email "chris@ethereum.org"
|
||
|
|
git config --local user.name "chriseth_automation"
|
||
|
|
git remote set-url origin "$(git config --get remote.origin.url | sed 's#http.*com/#git@github.com:#g')"
|
||
|
|
eval `ssh-agent -t 60 -s`
|
||
|
|
ssh-add - <<< "${{ secrets.DEPLOY_KEY }}"
|
||
|
|
mkdir -p ~/.ssh/
|
||
|
|
ssh-keyscan github.com >> ~/.ssh/known_hosts
|
||
|
|
|
||
|
|
git fetch
|
||
|
|
git checkout -B gh-pages origin/main
|
||
|
|
git clean -f -d
|
||
|
|
mv /tmp/edges.dat ./
|
||
|
|
git add edges.dat
|
||
|
|
git commit -m "Add edges."
|
||
|
|
|
||
|
|
git push -f origin gh-pages
|
||
|
|
ssh-agent -k
|