mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-18 06:34:22 +00:00
Code Activity

Fix shell substitution in a3-python-v2 workflow as well

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-02-17 04:16:11 +00:00
parent f28b7ce440
commit 23d6262f7d
2 changed files with 178 additions and 157 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.github/workflows/a3-python-v2.md vendored
View file

@ -37,7 +37,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