Add deployment workflow #7

Merged
hubrecht merged 32 commits from refs/pull/7/head into master 2023-06-30 11:56:52 +02:00
Showing only changes of commit 27f1dd43d2 - Show all commits

View file

@ -9,14 +9,12 @@ on:
jobs: jobs:
publish: publish:
runs-on: ubuntu-latest runs-on: nix
steps: steps:
- uses: actions/checkout@v3 - uses: actions/checkout@v3
with: with:
path: dgnum.eu path: dgnum.eu
- uses: https://github.com/cachix/install-nix-action@v22
- name: Build website - name: Build website
run: | run: |
nix-build dgnum.eu --show-trace nix-build dgnum.eu --show-trace