Merge branch 'main' into multiple-named-return-vals

Author: mkovaxx

.github/workflows/ci.yml

@@ -3,7 +3,7 @@ name: ci
 on:
   push:
     branches:
-      - 'main'
+      - "main"
 
   workflow_dispatch:
 
@@ -201,7 +201,7 @@ jobs:
 
       - name: download singular
         if: matrix.features == 'singular'
-        run: curl -LO https://www.singular.uni-kl.de/ftp/pub/Math/Singular/UNIX/Singular-4-3-2_M1.dmg
+        run: curl -fLO https://github.com/verus-lang/verus/releases/download/dependency/singular-4.3.2/Singular-4-3-2_M1.dmg
 
       - name: build
         working-directory: ./source

examples/cells.rs

@@ -16,4 +16,7 @@ fn main() {
     assert(token.mem_contents() === MemContents::Init(X { i: 5 }));
 }
 
+fn pcell_example() {
+}
+
 } // verus!