From 2b75bfc913bc455516d64f21e558e7a5e509615d Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 10 Sep 2024 10:19:28 +0200 Subject: [PATCH] Document 'musl' option in common.ml --- .github/workflows/common.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/common.yml b/.github/workflows/common.yml index f888255c..17150cdd 100644 --- a/.github/workflows/common.yml +++ b/.github/workflows/common.yml @@ -14,7 +14,7 @@ on: options: description: >- Configuration options for the compiler. - Space-separated list of '32bit', 'bytecode-only', 'fp'. + Space-separated list of '32bit', 'bytecode-only', 'fp', 'musl'. type: string default: '' platform: