28337864248

Committed 28 Jun 2026 10:18PM UTC coverage: 57.348% (+0.4%) from 56.914%

Build Type

github

Committed by

Commit Message

Merge 278d58464 into 14a2615d6

Coverage Stats

72 of 102 new or added lines in 31 files covered. (70.59%)

1717 of 2994 relevant lines covered (57.35%)

0.57 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

33.33

/bootstrap/pre-commit/check-devbox-activated.py

1	#!/usr/bin/env python3
2
3	import os	1✔
4	import sys	1✔
5
6	write = sys.stderr.write	1✔
7
8
9	def error() -> None:	1✔
NEW 10	msg = (	×
11	"\n\033[1m🚨🚨🚨 ERROR: Devbox is not activated."
12	" Please activate it first - see README.md for more 🚨🚨🚨\033[0;0m\n"
13	)
NEW 14	write("=" * (len(msg)))	×
NEW 15	write(msg)	×
NEW 16	write("=" * (len(msg)))	×
17
18
19	def check_devbox_activated() -> None:	1✔
NEW 20	devbox_activated = os.getenv("DEVBOX_SHELL_ENABLED")	×
NEW 21	if devbox_activated is None:	×
NEW 22	error()	×
NEW 23	sys.exit(1)	×
24
25
26	def main() -> int:	1✔
27	# skip this if we're running as part of github actions
NEW 28	if os.getenv("GITHUB_ACTIONS") == "true":	×
NEW 29	write("Skipping the pre-commit check since we're running as part of Github Actions")	×
NEW 30	return 0	×
31
NEW 32	check_devbox_activated()	×
NEW 33	return 0	×
34
35
36	if __name__ == "__main__":	1✔
NEW 37	sys.exit(main())	×