Merge pull request #12 from Wenzel/ci/github_actions

CI: switch to Github Actions
Wenzel · Nov 8, 2023 · 9362746 · 9362746
2 parents d85f312 + 53454f7
commit 9362746
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 11 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -0,0 +1,22 @@
+name: CI
+
+on:
+  push:
+    branches:
+      - 'master'
+  pull_request:
+
+jobs:
+  check:
+    runs-on: ubuntu-22.04
+    strategy:
+      matrix:
+        subcommand: ['build', 'clippy', 'test']
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: dtolnay/rust-toolchain@stable
+
+      - run: sudo apt-get install -y libxen-dev
+
+      - run: cargo ${{ matrix.subcommand }}
diff --git a/.travis.yml b/.travis.yml