Set up new CI

.github/workflows/main.yml

@@ -0,0 +1,17 @@
+name: build
+
+on:
+  pull_request:
+  push:
+jobs:
+  tests:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - uses: cachix/install-nix-action@v12
+    - uses: actions/cache@v2
+      with:
+        path: |
+          output
+        key: ${{ runner.os }}-build-products
+    - run: nix-shell --run 'make ci'

.github/workflows/release.yml

@@ -0,0 +1,36 @@
+name: release
+
+on:
+  push:
+    tags:
+    - 'erl-*'
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: cachix/install-nix-action@v12
+      - name: Render packages.dhall
+        run: |
+          nix-shell --run '>packages.dhall dhall <<< ./src/packages.dhall'
+      - name: Create Release
+        id: create_release
+        uses: actions/create-release@v1
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        with:
+          tag_name: ${{ github.ref }}
+          release_name: ${{ github.ref }}
+          draft: false
+          prerelease: false
+      - name: Upload Release Asset
+        id: upload-release-asset
+        uses: actions/upload-release-asset@v1
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        with:
+          upload_url: ${{ steps.create_release.outputs.upload_url }}
+          asset_path: ./packages.dhall
+          asset_name: packages.dhall
+          asset_content_type: application/x-dhall

Makefile

@@ -5,7 +5,8 @@ all: format generate validate dhall
 ci: generate
 	echo "Checking if packages.json has changed..."
 	git diff --exit-code packages.json
-	cd src && spago verify-set
+	# TODO spago verify & backend
+	# cd src && spago verify-set
 
 format:
 	@nix-shell --run 'find src/ -iname "*.dhall" -exec dhall format --inplace {} \;'

shell.nix

@@ -16,7 +16,7 @@ let
   purerlSupport =
     builtins.fetchGit {
       name = "purerl-support-packages";
-      url = "git@github.com:id3as/nixpkgs-purerl-support.git";
+      url = "https://github.com/id3as/nixpkgs-purerl-support.git";
       rev = "47a8bd6ff017dad2208f10dddf91f6f3258a09be";
     };