mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-16 22:01:44 +00:00
Code Activity

Merge pull request #8645 from Z3Prover/copilot/debug-agentic-workflow-failure

Browse source 
Fix template interpolation failure in agentic workflow markdown files
This commit is contained in:
Nikolaj Bjorner 2026-02-15 20:57:44 -08:00 • committed by GitHub
commit 015891aff9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.github/workflows/a3-python-v2.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

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

1
.github/workflows/code-simplifier.md vendored
View file

@ -39,7 +39,6 @@ Analyze recently modified code from the last 24 hours and apply refinements that
## Current Context
- **Repository**: ${{ github.repository }}
- **Analysis Date**: $(date +%Y-%m-%d)
- **Workspace**: ${{ github.workspace }}
## Phase 1: Identify Recently Modified Code