From 7afaedd012acdf972b4477089e2b31b215d9c333 Mon Sep 17 00:00:00 2001
From: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Date: Fri, 13 Sep 2024 02:25:16 +0200
Subject: [PATCH] update for deploy

---
 .github/deploy.yml              | 4 ++++
 .github/workflows/conda-dev.yml | 2 ++
 2 files changed, 6 insertions(+)

diff --git a/.github/deploy.yml b/.github/deploy.yml
index 046ed5d..cfcffe9 100644
--- a/.github/deploy.yml
+++ b/.github/deploy.yml
@@ -112,6 +112,10 @@ conda:
         pin_run_as_build:
             clingo: x.x
 
+        c_stdlib_version: # [osx]
+            - 10.13     # [osx and not arm64]
+            - 11.3.sdk  # [osx and arm64]
+
         # from https://github.com/phracker/MacOSX-SDKs
         CONDA_BUILD_SYSROOT:
             - /opt/MacOSX10.13.sdk # [osx and not arm64]
diff --git a/.github/workflows/conda-dev.yml b/.github/workflows/conda-dev.yml
index 9b4d140..1908ac5 100644
--- a/.github/workflows/conda-dev.yml
+++ b/.github/workflows/conda-dev.yml
@@ -16,7 +16,9 @@ jobs:
       fail-fast: false
       matrix:
         os:
+        - ubuntu-latest
         - macos-latest
+        - windows-2019
         python-version: ['3.8']
 
     steps: