diff --git a/shared/shared.test.ts b/shared/shared.test.ts
index d7b66c75..8fba23e6 100644
--- a/shared/shared.test.ts
+++ b/shared/shared.test.ts
@@ -1,6 +1,6 @@
 import { describe, expect, it, test } from 'vitest'
 
-import { bwrapProjectDir, describeValue, leanVersionCompare, toolchainHasModules } from './shared.ts'
+import { describeValue, leanVersionCompare, toolchainHasModules } from './shared.ts'
 
 describe('leanVersionCompare', () => {
   it('should throw on non-lean version numbers', () => {
@@ -37,10 +37,6 @@ test('toolchainHasModules', () => {
   expect(toolchainHasModules('leanprover/lean4-nightly:nightly-2027-01-01')).toBe(true)
 })
 
-test('bwrapProjectDir', () => {
-  expect(bwrapProjectDir('abc')).toBe('/workspace/abc/')
-})
-
 test('describeValue', () => {
   expect(describeValue(null)).toBe('null')
   expect(describeValue({})).toBe('object')
diff --git a/shared/shared.ts b/shared/shared.ts
index 0f1e3fd3..008c0974 100644
--- a/shared/shared.ts
+++ b/shared/shared.ts
@@ -135,9 +135,8 @@ export const COLLAB_SOCKET_FILENAME = 'collab.sock'
 /**
  * Where bwrap mounts the given project directory.
  */
-export function bwrapProjectDir(projectName: string) {
-  return `/workspace/${projectName}/`
-}
+/* v8 ignore next */
+export const bwrapProjectDir = (projectName: string) => `/workspace/${projectName}/`
 
 /** Path to workspace metadata file in VSCode bwraps. */
 export const BWRAP_METADATA_PATH = '/workspace/.lean-workbench.json'
@@ -161,6 +160,7 @@ export const adminEmail = 'admin@admin.localhost'
 export const MIN_ADMIN_PASSWORD_LENGTH = 8
 
 /** Pseudo-email for dev user number `n`. */
+/* v8 ignore next */
 export const devModeEmail = (n: number) => `dev${String(n)}@dev.localhost`
 
 /**