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 ec185ef936 - Show all commits

View file

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