Another permutation

abgruszecki · abgruszecki · commit 0378a96f35d2 · 2020-10-29T10:30:49.000+01:00
diff --git a/.github/workflows/scala3doc.yaml b/.github/workflows/scala3doc.yaml
@@ -8,6 +8,7 @@ on:
 jobs:
   build:
     runs-on: ubuntu-latest
+    container: lampepfl/dotty:2020-04-24
 
     steps:
       - name: Git Checkout
