Skip to content

[CI] use popd/pushd instead of cd#5057

Closed
leseb wants to merge 1 commit into
triton-lang:mainfrom
leseb:use-popd-pushd
Closed

[CI] use popd/pushd instead of cd#5057
leseb wants to merge 1 commit into
triton-lang:mainfrom
leseb:use-popd-pushd

Commits

Commits on Nov 4, 2024