Use coherent env. in release.yml (#4075)

Makes release builds aware of the ghc-version to build with. (and also stack and hpack, which are minor)
runtimeverification · Jan 28, 2025 · 4710352 · 4710352
1 parent f6e0f33
commit 4710352
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -4,6 +4,11 @@ on:
     branches:
       - release
 
+env:
+  ghc_version: "9.6.5"
+  stack_version: "2.15.1"
+  hpack_version: '0.36'
+
 jobs:
   draft-release:
     name: 'Draft Release'