maybe fix workflow

openmls · Feb 15, 2024 · fb168e5 · fb168e5
1 parent 0999a5c
commit fb168e5
Show file tree

Hide file tree

Showing 6 changed files with 16 additions and 13 deletions.
diff --git a/.github/workflows/build-html.yml b/.github/workflows/build-html.yml
@@ -9,12 +9,11 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: actions/checkout@v4
+
+      - uses: dhall-lang/setup-dhall@v4
         with:
-          repository: "dhall-lang/dhall-lang"
-          path: "dhall"
-          ref: 'v22.0.0'
-          sparse-checkout: 'Prelude'
+          version: '1.41.0'
+
       - name: build html file
         run: |
           sudo apt install -y dhall

diff --git a/checksets/10-groupcontextextensions_proposal.dhall b/checksets/10-groupcontextextensions_proposal.dhall
@@ -44,8 +44,9 @@ let checks =
           types.CodeRefs/empty
           types.CodeRefs/empty
           ( types.Notes/new
-              "don't ask me why this isn't in section 12.1.7..."
-              "reported in https://github.com/xmtp/openmls/pull/19"
+              [ "don't ask me why this isn't in section 12.1.7..."
+              , "reported in https://github.com/xmtp/openmls/pull/19"
+              ]
           )
       ]
 

diff --git a/generate.dhall b/generate.dhall
@@ -1,4 +1,6 @@
-let Prelude = ./prelude.dhall
+let Prelude =
+      https://prelude.dhall-lang.org/v22.0.0/package.dhall
+        sha256:1c7622fdc868fe3a23462df3e6f533e50fdc12ecf3b42c0bb45c328ec8c4293e
 
 let Types = ./types.dhall
 

diff --git a/html.dhall b/html.dhall
@@ -1,4 +1,6 @@
-let Prelude = ./prelude.dhall
+let Prelude =
+      https://prelude.dhall-lang.org/v22.0.0/package.dhall
+        sha256:1c7622fdc868fe3a23462df3e6f533e50fdc12ecf3b42c0bb45c328ec8c4293e
 
 let Types = ./types.dhall
 

diff --git a/prelude.dhall b/prelude.dhall
diff --git a/types.dhall b/types.dhall
@@ -1,4 +1,6 @@
-let Prelude = ./prelude.dhall
+let Prelude =
+      https://prelude.dhall-lang.org/v22.0.0/package.dhall
+        sha256:1c7622fdc868fe3a23462df3e6f533e50fdc12ecf3b42c0bb45c328ec8c4293e
 
 let Status
     : Type