issue template: more general header

smarter · smarter · commit 1a7196077f2f · 2020-03-28T22:07:02.000+01:00
There might be other kind of output than the compilation output that
could be provided.
diff --git a/.github/ISSUE_TEMPLATE/bug.md b/.github/ISSUE_TEMPLATE/bug.md
@@ -13,7 +13,7 @@ assignees: ''
 println("hello, world")
 ```
 
-## Compilation output
+## Output
 
 ```scala
 // TODO add compilation output here
diff --git a/.github/ISSUE_TEMPLATE/crash.md b/.github/ISSUE_TEMPLATE/crash.md
@@ -13,7 +13,7 @@ assignees: ''
 println("hello, world")
 ```
 
-## Crash output (click arrow to expand)
+## Output (click arrow to expand)
 <details>
 
 ```scala
diff --git a/.github/ISSUE_TEMPLATE/other-issue.md b/.github/ISSUE_TEMPLATE/other-issue.md
@@ -13,7 +13,7 @@ assignees: ''
 println("hello, world")
 ```
 
-## Compilation output
+## Output
 
 ```scala
 // TODO add compilation output here
