GH pages coqdoc

h0nzZik · Jan 21, 2024 · a82f5b1 · a82f5b1
1 parent 25ea4bd
commit a82f5b1
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/build-and-profile.yml b/.github/workflows/build-and-profile.yml
@@ -11,6 +11,10 @@ jobs:
 
     runs-on: ubuntu-latest
 
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
     steps:
     - uses: actions/checkout@v3
 
@@ -19,7 +23,7 @@ jobs:
 
     - name: Build
       run: nix develop '.#minuska' --command ./build-and-profile.sh
-
+      
     - name: CoqDoc
       run: nix develop '.#minuska' --command make -C minuska/ html