Merge pull request #1756 from dedis/work-be2-Kilian-Fix-Deployment

Fix Be2-scala deployment
dedis · Feb 25, 2024 · 3f981ab · 3f981ab
2 parents 2ede5cd + 5743b22
commit 3f981ab
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -288,9 +288,6 @@ jobs:
  - name: Report coverage
  run: sbt coverageReport
 
- #- name: Run static analysis (ScapeGoat)
- #run: sbt scapegoat
-
  - name: Run SonarCloud analysis
  if: ${{ !startsWith(github.head_ref, 'dependabot/') }} # execute even if previous steps failed
  env:

diff --git a/.github/workflows/deploy.yaml b/.github/workflows/deploy.yaml
@@ -126,7 +126,7 @@ jobs:
  env:
  base_folder: be2-scala
  deploy_env: ${{ github.event.release.prerelease && 'dev' || 'prod' }}
- scala_version: 2.13
+ scala_version: 3.3.1
 
  defaults:
  run: