Skip to content

Harden the release workflow: SHA-pin the publisher, smoke the artifacts - #130

Merged
roed314 merged 1 commit into
roed314:mainfrom
roed-math:release-hardening
Jul 22, 2026
Merged

Harden the release workflow: SHA-pin the publisher, smoke the artifacts#130
roed314 merged 1 commit into
roed314:mainfrom
roed-math:release-hardening

Harden the release workflow: SHA-pin the publisher, smoke the artifacts

9acd73f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
seminars (researchseminars.org)
succeeded Jul 22, 2026 in 44s