Skip to content

Commit

Permalink
ci: add check workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
ligurio committed Nov 11, 2022
1 parent 8f7a031 commit d72b57a
Showing 1 changed file with 22 additions and 0 deletions.
22 changes: 22 additions & 0 deletions .github/workflows/check.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
name: Static analysis

on:
push:
pull_request:

jobs:
static-analysis:
if: |
github.event_name == 'push' ||
github.event_name == 'pull_request' &&
github.event.pull_request.head.repo.full_name != github.repository
runs-on: ubuntu-latest

steps:
- uses: actions/checkout@v2

- name: Setup mandoc
run: sudo apt install -y mandoc

- run: make check

0 comments on commit d72b57a

Please sign in to comment.