synchronize apt repository

This commit is contained in:
Krishna Vedala 2020-05-25 21:25:32 -04:00
parent 3d4ed3522d
commit e5a5cc3dba
No known key found for this signature in database
GPG Key ID: BA19ACF8FC8792F7

View File

@ -7,14 +7,14 @@ on:
jobs: jobs:
build: build:
runs-on: ubuntu-latest runs-on: ubuntu-latest
env:
BUILD_SHA: ${GITHUB_SHA}
steps: steps:
- uses: actions/checkout@master - uses: actions/checkout@master
with: with:
submodules: true submodules: true
- name: Install requirements - name: Install requirements
run: sudo apt -qq install doxygen graphviz ninja-build run: |
sudo apt -qq -y update
sudo apt -qq install doxygen graphviz ninja-build
- name: configure - name: configure
run: cmake -G Ninja -B ./build -S . run: cmake -G Ninja -B ./build -S .
- name: build - name: build
@ -31,5 +31,5 @@ jobs:
git config --global user.email '${GITHUB_ACTOR}@users.noreply.github.com' git config --global user.email '${GITHUB_ACTOR}@users.noreply.github.com'
git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY
git add * git add *
git commit -m "Documentation for $BUILD_SHA" || true git commit -m "Documentation for $GITHUB_SHA" || true
git push --force || true git push --force || true