diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-07-17 21:18:22 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-17 21:18:22 +0100 |
commit | dc9d663c2fcdc6e4b182057ac0c36db052fdc5f1 (patch) | |
tree | 866e15d090dbe9db98dae49def56e5d7c61dbf6f /.github/workflows/main.yml | |
parent | 9900069be815d590b7cd96d8cda43cf76d61b8fa (diff) | |
download | vericert-dc9d663c2fcdc6e4b182057ac0c36db052fdc5f1.tar.gz vericert-dc9d663c2fcdc6e4b182057ac0c36db052fdc5f1.zip |
Create main.yml
Diffstat (limited to '.github/workflows/main.yml')
-rw-r--r-- | .github/workflows/main.yml | 30 |
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" + |