diff options
author | Jakob Unterwurzacher | 2024-10-31 22:06:40 +0100 |
---|---|---|
committer | Jakob Unterwurzacher | 2024-10-31 22:09:28 +0100 |
commit | 16fdad9e55a21a2b84460a8bd455bc4b1d7e0bbb (patch) | |
tree | b8ab94729b02a23d1b7a91006b9e7a4d5e2a83bc /.github/workflows | |
parent | 7cf6ace72e76889ac831e9807f7a9a14a4b7272b (diff) |
Add github ci
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/ci.yml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml new file mode 100644 index 0000000..30261bc --- /dev/null +++ b/.github/workflows/ci.yml @@ -0,0 +1,18 @@ +name: CI + +on: + push: + pull_request: + +jobs: + build: + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v4 + + - name: install mkdocs + run: pip3 install mkdocs==1.6.1 + + - name: build + run: make |