Skip to content

ci: update GitHub Actions workflows#458

Merged
oleg-jukovec merged 1 commit intomasterfrom
bigbes/tntp-no-update-versions-in-ci
Sep 8, 2025
Merged

ci: update GitHub Actions workflows#458
oleg-jukovec merged 1 commit intomasterfrom
bigbes/tntp-no-update-versions-in-ci

Commits

Commits on Sep 8, 2025