From 77686f64c2566570e495a5b8988da601eed56636 Mon Sep 17 00:00:00 2001 From: zeme Date: Thu, 20 Jun 2024 12:41:45 +0200 Subject: [PATCH] wipo --- .github/workflows/metatheory-site.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml index a33640bcb9c..0c6b0eb4c84 100644 --- a/.github/workflows/metatheory-site.yml +++ b/.github/workflows/metatheory-site.yml @@ -13,14 +13,14 @@ on: description: | The release version tag. For example if $version == "1.29.0.0" then the current contents of the branch tagged "1.29.0.0" will be deployed to: - https://intersectmbo.github.io/plutus/metatheory/$version + https://intersectmbo.github.io/plutus/metatheory/$version required: true type: string latest: description: | If true, then the $version branch will also be deployed to: - https://intersectmbo.github.io/plutus/metatheory/latest + https://intersectmbo.github.io/plutus/metatheory/latest. You want to leave this to true unless you are deploying old versions. type: boolean required: true