From 05955e0e7262b9f1aab4ac2e0f8e03eadaaae4c3 Mon Sep 17 00:00:00 2001 From: Stephan Boyer Date: Mon, 6 Apr 2026 02:40:07 -0700 Subject: [PATCH] Fix shared template inconsistencies --- .github/ISSUE_TEMPLATE/bug_report.md | 22 ++++++++++++++++++++++ .github/workflows/ci.yml | 2 +- 2 files changed, 23 insertions(+), 1 deletion(-) create mode 100644 .github/ISSUE_TEMPLATE/bug_report.md diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md new file mode 100644 index 00000000..4f2d16bc --- /dev/null +++ b/.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. diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4cd97f45..4b6586af 100644 --- a/.github/workflows/ci.yml +++ b/.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