Update version and copyright years #243
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
| name: CI | |
| on: [push] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| arch: [64] | |
| steps: | |
| # Install dependencies | |
| - name: Install libck | |
| run: sudo apt-get install libck-dev | |
| - name: Install Cyclone | |
| run: | | |
| wget https://github.com/cyclone-scheme/binary-releases/raw/master/ubuntu-18.04-lts/cyclone-scheme_0.30.0_amd64.deb | |
| sudo apt install ./cyclone-scheme_0.30.0_amd64.deb | |
| # Setup winds | |
| - uses: actions/checkout@v2 | |
| - name: Build Winds | |
| run: make | |
| - name: Install Winds | |
| run: sudo make install | |
| # Run our tests | |
| - name: Run tests | |
| run: | | |
| make test | |
| # ----------------------------------------------------------------- | |
| # Run system tasks (the order is important!) | |
| # Pre-requisite | |
| - name: Clone wiki directory | |
| run: | | |
| git clone https://github.com/cyclone-scheme/winds.wiki.git wiki | |
| # Update wiki index, packages wikis and library/definition indexes. | |
| # One command does all to avoid multiple iterations over all packages, | |
| # which could become too slow as the packages list grows. | |
| - name: Update wiki and library + definition indexes | |
| run: | | |
| make sys-tasks | |
| make clean | |
| # Wiki index (already updated by 'make sys-tasks') | |
| - name: Push wiki changes | |
| run: | | |
| git config --global user.email ${{ secrets.AUTOMATION_EMAIL }} | |
| git config --global user.name ${{ github.repository_owner }} | |
| cd wiki | |
| git add -A | |
| git diff-index --quiet HEAD || git commit -m "Updated wiki" | |
| git push https://${{ github.repository_owner }}:${{ secrets.GITHUB_TOKEN }}@github.com/cyclone-scheme/winds.wiki.git | |
| cd .. | |
| rm -Rf wiki | |
| # Library index | |
| - name: Commit library index | |
| run: | | |
| git config --local user.email ${{ secrets.AUTOMATION_EMAIL }} | |
| git config --local user.name ${{ github.repository_owner }} | |
| git add ./indexes/library-index.scm | |
| [[ -z $(git status -s) ]] || git commit -m "Updated library-index.scm on push" | |
| # Definition index | |
| - name: Commit definition index | |
| run: | | |
| git config --local user.email ${{ secrets.AUTOMATION_EMAIL }} | |
| git config --local user.name ${{ github.repository_owner }} | |
| git add ./indexes/definition-index.scm | |
| [[ -z $(git status -s) ]] || git commit -m "Updated definition-index.scm on push" | |
| - name: Push changes | |
| uses: ad-m/github-push-action@master | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| force: true | |