Fix shared template inconsistencies

.github/ISSUE_TEMPLATE/bug_report.md

@@ -0,0 +1,22 @@
+---
+name: Bug report
+about: Create a bug report to help us improve
+title: ''
+labels: bug
+assignees: ''
+
+---
+
+**Description**
+A clear description of what the bug is.
+
+**Instructions to reproduce the bug**
+A clear explanation of how to reproduce the bug.
+
+**Environment information:**
+ - Lean version: [e.g., 4.26.0 or N/A]
+ - Rocq version: [e.g., 9.0.0 or N/A]
+ - OS: [e.g., macOS Tahoe 26.4]
+
+**Additional context**
+Add any other context about the problem here.

.github/workflows/ci.yml

@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v4
-    - if: github.event_name == 'push'
+    - if: ${{ github.event_name == 'push' }}
       uses: docker/login-action@v3
       with:
         username: stephanmisc