Use coherent env. in release.yml

runtimeverification · Nov 24, 2024 · 34da2ed · 34da2ed
1 parent 74322a5
commit 34da2ed
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'