mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-17 22:24:20 +00:00
Code Activity

Remove problematic shell substitution from a3-python workflow

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:15:41 +00:00
parent a467a49453
commit f28b7ce440
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -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