From 1f5b0c8ca133a5f1fc35c35a7c5dd81656bc800d Mon Sep 17 00:00:00 2001
From: Florian Verdonck <florian.verdonck@outlook.com>
Date: Mon, 19 Aug 2024 09:28:20 +0200
Subject: [PATCH] Add pipeline to push client (#3108)

---
 .github/workflows/push-client.yml | 26 ++++++++++++++++++++++++++
 build.fsx                         |  1 +
 2 files changed, 27 insertions(+)
 create mode 100644 .github/workflows/push-client.yml

diff --git a/.github/workflows/push-client.yml b/.github/workflows/push-client.yml
new file mode 100644
index 000000000..a131f478f
--- /dev/null
+++ b/.github/workflows/push-client.yml
@@ -0,0 +1,26 @@
+name: Push Client
+
+on:
+  workflow_dispatch:
+
+env:
+  DOTNET_SKIP_FIRST_TIME_EXPERIENCE: true
+  DOTNET_CLI_TELEMETRY_OPTOUT: true
+
+jobs:
+  build:
+    continue-on-error: true
+    strategy:
+      matrix:
+        os: [ubuntu-latest, windows]
+    runs-on: ${{ matrix.os }}
+
+    steps:
+    - uses: actions/checkout@v4
+    - name: Setup .NET Core
+      uses: actions/setup-dotnet@v4
+    - name: PushClient
+      run: dotnet fsi build.fsx -p PushClient
+      env:
+        NUGET_KEY: ${{ secrets.NUGET_KEY }}
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
diff --git a/build.fsx b/build.fsx
index 33ebfaa07..bd18e4e44 100644
--- a/build.fsx
+++ b/build.fsx
@@ -130,6 +130,7 @@ pipeline "FormatChanged" {
 
 pipeline "PushClient" {
     workingDir __SOURCE_DIRECTORY__
+    stage "Pack" { run "dotnet pack ./src/Fantomas.Client -c Release --tl" }
     stage "Push" {
         run (fun _ ->
             async {