Skip to content

Read GITHUB_REF and GITHUB_REPOSITORY lazily in github.rkt#826

Merged
jackfirth merged 1 commit into
masterfrom
github-env-vars-lazy-820
Jul 15, 2026
Merged

Read GITHUB_REF and GITHUB_REPOSITORY lazily in github.rkt#826
jackfirth merged 1 commit into
masterfrom
github-env-vars-lazy-820