mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-22 08:17:37 +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 • committed by Nikolaj Bjorner
parent 1163774b12
commit 2f2c4d99a6
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 ## Current Context
- **Repository**: ${{ github.repository }} - **Repository**: ${{ github.repository }}
- **Analysis Date**: $(date +%Y-%m-%d)
- **Workspace**: ${{ github.workspace }} - **Workspace**: ${{ github.workspace }}
## Phase 1: Install and Setup a3-python ## Phase 1: Install and Setup a3-python