From e59496e84fcc6755b464314ff6fd71a2b26f9a4e Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Sun, 16 Feb 2020 15:24:44 +0100 Subject: [PATCH] :wrench: Fix bot syntax --- .github/workflows/bot.yml | 2 +- .github/workflows/coverity.yml | 22 ++++++++++++++++++++++ 2 files changed, 23 insertions(+), 1 deletion(-) create mode 100644 .github/workflows/coverity.yml diff --git a/.github/workflows/bot.yml b/.github/workflows/bot.yml index adc8f35f..d8e75d89 100644 --- a/.github/workflows/bot.yml +++ b/.github/workflows/bot.yml @@ -14,7 +14,7 @@ jobs: steps: - name: Clone and push - run:| + run: | git clone https://github.com/fennecdjay/gwion-cinch-bot cd gwion-cinch-bot git config --local user.email "action@github.com" diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml new file mode 100644 index 00000000..b46f0fec --- /dev/null +++ b/.github/workflows/coverity.yml @@ -0,0 +1,22 @@ +name: Coverity + +on: + push: + branches: + - '**' + - '!gh-pages' + +jobs: + build: + name: ${{ matrix.double && 'double' || ''}} + runs-on: ubuntu-latest + if: "!contains(github.event.head_commit.message, '[coverity]')" + + steps: + - uses: actions/checkout@v1 + - name: submodules + run: git submodule update --init util ast + - name: download coverity tool + run: curl https://scan.coverity.com/download/cxx/linux64 + - name: make + run: cov-build --dir cov-int make -- 2.43.0