write to COMMIT file

katrinafyi · Aug 27, 2024 · 5e91c72 · 5e91c72
1 parent 4164cb3
commit 5e91c72
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -2,7 +2,9 @@ name: Build and test aslp-web
 
 on:
   push:
-    branches: ["main"]
+    branches: [ main ]
+  pull_request:
+    branches: [ main ]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
@@ -21,9 +23,8 @@ jobs:
           extra-conf: |
             accept-flake-config = true
 
-      - run: find . -type f -exec sed -i "s/@aslp_web_commit@/$COMMIT/g" {} \;
-
-      - run: nix build .
+      - run: echo $COMMIT > ./COMMIT && git add COMMIT
+      - run: nix build -L .
 
       - run: cp -rv result/lib/ocaml/*/site-lib/aslp_web artifact