mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-17 14:21:45 +00:00
Code Activity

Fix template interpolation failure in agentic workflows

Browse source 
Remove shell command substitution syntax $(date +%Y-%m-%d) from workflow
markdown files that was causing template interpolation to fail. The shell
syntax is not valid in the context/frontmatter section that gets processed
by the template engine.

Fixed files:
- .github/workflows/a3-python-v2.md
- .github/workflows/a3-python.md
- .github/workflows/code-simplifier.md

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-02-16 04:54:37 +00:00
parent fe4f70e07d
commit 15c9455c7d
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