Release job - #97

Merged

ejfine merged 17 commits into

mainfrom

Jul 15, 2026

Commits on Jul 15, 2026

extract
ejfine
committed
111972e
release job
ejfine
committed
9652de7
end of file
ejfine
committed
e58dfb4
fix tag
ejfine
committed
ede5178
no symlink
ejfine
committed
add8941
switch to deploy_as_executable
ejfine
committed
c5f4698
release for exes
ejfine
committed
4fbdb16
fix raw
ejfine
committed
0988527
bump codecov
ejfine
committed
3fdfd52
only download package from testpypi
ejfine
committed
7881f02
pygments
ejfine
committed
5c49d39
no extra job for exe
ejfine
committed
ae7cf06
Move codecov-action version pin into context.py

ejfine
and
claude
committed
1f0c209
Wrap testpypi environment block in PyPI-only conditional

ejfine
and
claude
committed
9b8f341
Fix non-canonical www.pypi.org index-url in staging install

ejfine
and
claude
committed
cac4b87
Wrap pypi environment block in PyPI-only conditional

ejfine
and
claude
committed
4723d2d
Pin release tag to CI-verified commit via target_commitish

ejfine
and
claude
committed
82d8846