From d93360887b8f6fa2fd529b0e8fb45dc7a67e2e54 Mon Sep 17 00:00:00 2001 From: Yishuai Li Date: Fri, 6 Sep 2024 14:34:25 +0800 Subject: [PATCH 1/2] ListSet: remove dead parameter --- theories/Data/Set/ListSet.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/theories/Data/Set/ListSet.v b/theories/Data/Set/ListSet.v index 6abe029b..2f5e1ecb 100644 --- a/theories/Data/Set/ListSet.v +++ b/theories/Data/Set/ListSet.v @@ -58,7 +58,7 @@ Global Instance DSet_weak_listset {T} (R : T -> T -> Prop) ; filter := @List.filter _ }. -Global Instance Foldable_listset {T} (R : T -> T -> Prop) +Global Instance Foldable_listset {T} : Foldable (lset T) T := fun _ f a t => List.fold_left (fun x y => f y x) t a. From 06fc045f3634974f4324a63da908c719d80c7e09 Mon Sep 17 00:00:00 2001 From: Yishuai Li Date: Fri, 6 Sep 2024 14:56:12 +0800 Subject: [PATCH 2/2] ignore upload artifact failure --- .github/workflows/docker-action.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index d2233c14..0dd62974 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -65,6 +65,7 @@ jobs: if: ${{ always() }} run: sudo chown -R 1001:116 . - uses: actions/upload-artifact@v4 + continue-on-error: true with: name: coqdoc path: html