ci: release current version every commit

.github/workflows/ci-ubuntu.yml

@@ -175,3 +175,32 @@ jobs:
         with:
           branch: gh-pages
           folder: html
+
+      ########################################################################
+      ## FULL SOURCE CODE RELEASE GENERATION
+      ########################################################################
+
+      - name: Generate full source archive
+        if: |
+          github.event_name == 'push' && github.ref_name == 'master' &&
+          matrix.agda-tag == 'nightly'
+        run: |
+          make gen-everythings \
+            AGDA_EXEC='~/.cabal/bin/agda' \
+            FIX_WHITESPACE='~/.cabal/bin/fix-whitespace' \
+            EVERYTHINGS='cabal run Everythings'
+          tar czf cm-full-source.tar.gz *.md LICENSE fix-whitespace.yaml cubical-mini.agda-lib src/
+
+      - name: Update Nightly Release
+        if: |
+          github.event_name == 'push' && github.ref_name == 'master' &&
+          matrix.agda-tag == 'nightly'
+        uses: andelf/nightly-release@main
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        with:
+          tag_name: nightly
+          name: 'nightly-$$'
+          prerelease: true
+          files: |
+            ./cm-full-source.tar.gz

GNUmakefile

@@ -15,7 +15,7 @@ build :
 	$(MAKE) AGDA_EXEC=$(AGDA_BIN) gen-everythings check
 
 .PHONY : test
-test : check-whitespace gen-instances gen-and-check-everythings check-README check
+test : check-whitespace gen-and-check-everythings check-README check
 
 # checking and fixing whitespace
 
@@ -33,14 +33,11 @@ check-whitespace:
 check-everythings:
 	$(EVERYTHINGS) check-except System
 
-.PHONY : gen-instances
-gen-instances:
-	$(EVERYTHINGS) gen-public $(DATA_INSTANCE_DIRS)
-
 .PHONY : gen-everythings
 gen-everythings:
 	$(EVERYTHINGS) gen-except System
 	$(EVERYTHINGS) gen-unsafe System
+	$(EVERYTHINGS) gen-public $(DATA_INSTANCE_DIRS)
 
 .PHONY : gen-and-check-everythings
 gen-and-check-everythings: gen-everythings check-everythings