add smoke test

anoma · Dec 5, 2024 · 6bf17d9 · 6bf17d9
1 parent c15ca0e
commit 6bf17d9
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/tests/smoke/Commands/format.smoke.yaml b/tests/smoke/Commands/format.smoke.yaml
@@ -168,6 +168,22 @@ tests:
     stderr: ''
     exit-status: 1
 
+  - name: format-project-package-dot-juvix
+    command:
+      shell:
+        - bash
+      script: |
+        temp=$(mktemp -d)
+        trap 'rm -rf -- "$temp"' EXIT
+        cd $temp
+        juvix init
+        echo "" >> Package.juvix
+        juvix format
+    stderr: ''
+    stdout:
+      contains: 'Package.juvix'
+    exit-status: 1
+
   - name: format-project-containing-unformatted-from-subdir
     command:
       shell: