fxing nameing issue

This commit is contained in:
Clément Le Bihan
2021-05-23 19:12:18 +02:00
parent 8f304f958c
commit e8e496ae8c
2 changed files with 33 additions and 40 deletions
+11 -28
View File
@@ -1,33 +1,16 @@
name: Build
on: [push, pull_request]
name: Check coding style
on: [push]
jobs:
Build:
name: "Build on ${{ matrix.name }}"
runs-on: ${{ matrix.os }}
if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository
strategy:
matrix:
include:
- os: ubuntu-latest
name: Linux
Building:
runs-on: [ubuntu-latest]
steps:
- uses: actions/checkout@v1
with:
submodules: true
- name: Install Xorg lib
if: matrix.name == 'Linux'
- name: Install cpplint
run: pip install cpplint
- name: Run cpplint
run: |
sudo apt install -y libasound2-dev mesa-common-dev libx11-dev libxrandr-dev libxi-dev xorg-dev libgl1-mesa-dev libglu1-mesa-dev
- name: Update G++
if: matrix.name == 'Linux'
run: sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-10 100
- name: Build
run: |
mkdir build && cd build
cmake ..
cmake --build .
- name: CheckBinaryName
shell: bash
if: matrix.name == 'Linux'
run: test -f build/bomberman
cpplint --recursive --quiet --verbose=3
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_REPO: "github.com/AnonymusRaccoon/Bomberman"
+22 -12
View File
@@ -1,21 +1,31 @@
name: Check coding style
on: [push]
name: Update the documentation
on:
push:
branches:
- master
- workflow
jobs:
Building:
runs-on: [ubuntu-latest]
steps:
- uses: actions/checkout@v1
- name: Install cpplint
run: pip install cpplint
- name: Check coding style
- name: Install Doxygen
run: sudo apt-get install -y doxygen graphviz
- name: Update the docs
run: |
cpplint --recursive --quiet --verbose=3 . 2> tmp
- name: Comment PR
uses: thollander/actions-comment-pull-request@master
if: ${{ github.event_name == 'pull_request' }}
rm -rf docs/*
doxygen Doxyfile
cd docs
git config --global user.email "${GITHUB_ACTOR}@github.com";
git config --global user.name "${GITHUB_ACTOR}";
git init
git add -A;
git commit -m "Deploying the documentation";
git remote add origin https://${GITHUB_ACTOR}:${GITHUB_TOKEN}@${GITHUB_REPO};
git checkout -b Documentation
git push --force origin Documentation;
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
message: ${{ cat tmp }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_REPO: "github.com/AnonymusRaccoon/Bomberman"