Code

Use coherent env. in release.yml#4075

Code

Merged

automergerpr-permission-manager[bot] merged 2 commits intomasterruntimeverification/haskell-backend:masterfrom Adjust-release-envruntimeverification/haskell-backend:Adjust-release-envCopy head branch name to clipboardJan 28, 2025

+5

Commits

Commits on Dec 6, 2024

• Use coherent env. in release.yml

  jberthold

  committed
  e90661c

  Copy full SHA for e90661c

Commits on Jan 27, 2025

• Merge branch 'master' into Adjust-release-env

  jberthold

  authored
  ef01651

  Copy full SHA for ef01651