From 5ceb335bf42688b30ea02c2b52dfd085194e6601 Mon Sep 17 00:00:00 2001
From: Nicolas DUBIEN <github@dubien.org>
Date: Mon, 4 May 2026 18:56:55 +0200
Subject: [PATCH] =?UTF-8?q?=F0=9F=91=B7=20Add=20missing=20runs-on=20for=20?=
 =?UTF-8?q?tangled=20(#6938)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

## Description

<!-- Describe your change and explain what this PR is trying to solve
-->

Fixes #issue-number

<!-- Add any additional context here -->

## Checklist

— _Don't delete this checklist and make sure you do the following before
opening the PR_

- [ ] I have a full understanding of every line in this PR — whether the
code was hand-written, AI-generated, copied from external sources or
produced by any other tool
- [ ] I flagged the impact of my change (minor / patch / major) either
by running `pnpm run bump` or by following the instructions from the
changeset bot
- [ ] I kept this PR focused on a single concern and did not bundle
unrelated changes
- [ ] I followed the [gitmoji](https://gitmoji.dev/) specification for
the name of the PR, including the package scope (e.g. `🐛(vitest)
Something...`) when the change targets a package other than `fast-check`
- [ ] I added relevant tests and they would have failed without my PR
(when applicable)

<!-- PRs not checking all the boxes may take longer before being
reviewed -->
<!-- More about contributing at
https://github.com/dubzzz/fast-check/blob/main/CONTRIBUTING.md -->
---
 .github/workflows/mirror-tangled.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/mirror-tangled.yml b/.github/workflows/mirror-tangled.yml
index 2d31073d..72d38a04 100644
--- a/.github/workflows/mirror-tangled.yml
+++ b/.github/workflows/mirror-tangled.yml
@@ -18,6 +18,7 @@ jobs:
   mirror:
     name: 🕸️ Mirror to Tangled
     if: ${{ github.repository == 'dubzzz/fast-check' }}
+    runs-on: ubuntu-latest
 
     steps:
       - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
-- 
2.51.2