Merge pull request #122 from leanprover-community/develop

Seasawher · web-flow · commit cc7472afa2ed · 2025-04-03T22:53:33.000+09:00
pretty print of build output
diff --git a/scripts/create-issue.sh b/scripts/create-issue.sh
@@ -22,7 +22,9 @@ Files changed in update:$BULLET_LIST
 
 ## Build Output
 
+\`\`\`
 $BUILD_OUTPUT
+\`\`\`
 "
 
 # Check if the label exists, create it if not

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,9 @@ Files changed in update:$BULLET_LIST`
`22`	`22`
`23`	`23`	`## Build Output`
`24`	`24`
	`25`	+\`\`\`
`25`	`26`	`$BUILD_OUTPUT`
	`27`	+\`\`\`
`26`	`28`	`"`
`27`	`29`
`28`	`30`	`# Check if the label exists, create it if not`