From f28b7ce44076c9c097488c2b3b23b64b4c917b80 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Tue, 17 Feb 2026 04:15:41 +0000 Subject: [PATCH] Remove problematic shell substitution from a3-python workflow Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --- .github/workflows/a3-python.md | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/a3-python.md b/.github/workflows/a3-python.md index 6c492dabc..846022bb1 100644 --- a/.github/workflows/a3-python.md +++ b/.github/workflows/a3-python.md @@ -36,7 +36,6 @@ You are an expert Python code analyst using the a3-python tool to identify bugs ## Current Context - **Repository**: ${{ github.repository }} -- **Analysis Date**: $(date +%Y-%m-%d) - **Workspace**: ${{ github.workspace }} ## Phase 1: Install and Setup a3-python