aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-07-17 21:18:22 +0100
committerGitHub <noreply@github.com>2020-07-17 21:18:22 +0100
commitdc9d663c2fcdc6e4b182057ac0c36db052fdc5f1 (patch)
tree866e15d090dbe9db98dae49def56e5d7c61dbf6f /.github
parent9900069be815d590b7cd96d8cda43cf76d61b8fa (diff)
downloadvericert-dc9d663c2fcdc6e4b182057ac0c36db052fdc5f1.tar.gz
vericert-dc9d663c2fcdc6e4b182057ac0c36db052fdc5f1.zip
Create main.yml
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/main.yml30
1 files changed, 30 insertions, 0 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
new file mode 100644
index 0000000..e3ad12e
--- /dev/null
+++ b/.github/workflows/main.yml
@@ -0,0 +1,30 @@
+# This is a basic workflow to help you get started with Actions
+
+name: CI
+
+# Controls when the action will run. Triggers the workflow on push or pull request
+# events but only for the master branch
+on:
+ push:
+ branches: [ master ]
+ pull_request:
+ branches: [ master ]
+
+# A workflow run is made up of one or more jobs that can run sequentially or in parallel
+jobs:
+ # This workflow contains a single job called "build"
+ build:
+ # The type of runner that the job will run on
+ runs-on: ubuntu-latest
+
+ # Steps represent a sequence of tasks that will be executed as part of the job
+ steps:
+ # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
+ - uses: actions/checkout@v2
+
+ - name: Install Nix
+ uses: cachix/install-nix-action@v10
+
+ - name: Build
+ run: nix-shell --run "make -j8"
+