From 36a24900fbd800abc8f2ae866bf4f7a791a0c862 Mon Sep 17 00:00:00 2001
From: Niklas Rentz <nre@informatik.uni-kiel.de>
Date: Tue, 6 Jun 2023 10:31:34 +0200
Subject: [PATCH] disable release workflow for 0.1.0 release.

---
 .github/workflows/release.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 5df28e7..6954b9d 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -1,8 +1,9 @@
 name: Release
 on: 
   workflow_dispatch: # manual triggering, for debugging/testing
-  release: # Or when a release is published
-    types: [published]
+  # No automatic release for the first release, this has been done manually.
+  # release: # Or when a release is published
+  #   types: [published]
 jobs:
   release:
     runs-on: ubuntu-latest