Use coherent env. in release.yml

runtimeverification · Dec 6, 2024 · e90661c · e90661c
1 parent 854db7f
commit e90661c
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'