Revert changes to CI permissions and tests

Author: Josh Cohen

.github/workflows/deploy-docs.yml

@@ -3,14 +3,12 @@ name: Deploy Documentation
 on:
   push:
     branches: [main]
-  pull_request:
-    branches: [main]
-  workflow_dispatch:
 
 jobs:
   deploy_doc:
     name: Deploy documentation
     runs-on: ubuntu-latest
+    environment: github-pages
     permissions:
       contents: read
       pages: write
@@ -25,11 +23,6 @@ jobs:
       - name: Build API documentation
         run: lake build Strata:docs
         working-directory: docs/api
-      - name: Debug API docs location
-        run: |
-          echo "Listing docs/api/.lake/build/doc:"
-          ls -la docs/api/.lake/build/doc || echo "Not found at docs/api/.lake/build/doc"
-          find docs/api -name "*.html" -type f | head -20 || echo "No HTML files found"
       - name: Build documentation
         run: ./generate.sh
         working-directory: docs/verso
@@ -45,4 +38,4 @@ jobs:
         with:
           path: docs/verso/_out
       - name: Deploy to GitHub Pages
-        uses: actions/deploy-pages@v4
+        uses: actions/deploy-pages@v4

StrataTest/DDM/Integration/Java/TestGen.lean

@@ -307,9 +307,7 @@ elab "#testRoundtrip" : command => do
   let some simple := state.loaded.dialects["Simple"]?
     | Lean.logError "Simple dialect not found"; return
   let dm := Strata.DialectMap.ofList! [Strata.initDialect, simple]
-  let srcFile := System.FilePath.mk (← Lean.getFileName)
-  let testdataDir := srcFile.parent.get! / "testdata"
-  let ionBytes ← IO.FS.readBinFile (testdataDir / "comprehensive.ion")
+  let ionBytes ← IO.FS.readBinFile "StrataTest/DDM/Integration/Java/testdata/comprehensive.ion"
   match Strata.Program.fileFromIon dm "Simple" ionBytes with
   | .error e => Lean.logError s!"Roundtrip test failed: {e}"
   | .ok prog =>
@@ -330,9 +328,7 @@ elab "#testRoundtripFiles" : command => do
   let some simple := state.loaded.dialects["Simple"]?
     | Lean.logError "Simple dialect not found"; return
   let dm := Strata.DialectMap.ofList! [Strata.initDialect, simple]
-  let srcFile := System.FilePath.mk (← Lean.getFileName)
-  let testdataDir := srcFile.parent.get! / "testdata"
-  let ionBytes ← IO.FS.readBinFile (testdataDir / "comprehensive-files.ion")
+  let ionBytes ← IO.FS.readBinFile "StrataTest/DDM/Integration/Java/testdata/comprehensive-files.ion"
   match Strata.Program.filesFromIon dm ionBytes with
   | .error e => Lean.logError s!"Roundtrip files test failed: {e}"
   | .ok files =>