a3-python regression

[NikolajBjorner]

I created an AW last week that ran a few times.
https://github.com/Z3Prover/z3/actions/workflows/a3-python.lock.yml
It regressed and the auto-fix options don't make progress.

[pelikhan]

See error:

Error: Failed to process runtime import for .github/workflows/a3-python.md: Runtime import file not found: workflows/a3-python.md

Investigate issue in runtime import path resolution logic.

[pelikhan]

Fixing... moving prompt rendering outside of agent job

[pelikhan]

#16209

[pelikhan]

Meawhile, fix the git checkout - it erases the .github folder which you need. checkout src + .github

[NikolajBjorner]

Meawhile, fix the git checkout - it erases the .github folder which you need. checkout src + .github

?? Not understood. Shouls i just uodate aw?

[mohamedbouddi7777-dev]

Ok في الاثنين، ١٦ فبراير ٢٠٢٦، ٢١:٤٩ Peli de Halleux ***@***.***> كتب:

…

*pelikhan* left a comment (github/gh-aw#16170) <#16170 (comment)> Meawhile, fix the git checkout - it erases the .github folder which you need. checkout src + .github — Reply to this email directly, view it on GitHub <#16170 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/B2DFN3SCUFNJEBGCK65ABP34MI3QLAVCNFSM6AAAAACVKDFYFSVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZTSMJQGY2DSMRXHA> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>