Update main.yml

rahulc29 · Dec 12, 2023 · 7be227f · 7be227f
1 parent 3398692
commit 7be227f
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -68,10 +68,6 @@ jobs:
 
     - name: Compile main library
       run: |
-        mkdir -p ~/main-build/_build
-        cp -f -R ~/main-build/_build $GITHUB_WORKSPACE/main/_build
-        rm -r ~/main-build
         cd master
         cd src
         agda --html --html-dir=../docs index.agda
-        cp -f -R main/ ~/main-build/