From 1151526d43bf4dea6337d6b6dafdbadfce68a465 Mon Sep 17 00:00:00 2001 From: zeme Date: Thu, 20 Jun 2024 12:18:37 +0200 Subject: [PATCH 1/8] Update github-pages-deploy-action version in metatheory-site.yml --- .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 15c49ed4e8c..9a1659fd679 100644 --- a/.github/workflows/metatheory-site.yml +++ b/.github/workflows/metatheory-site.yml @@ -44,7 +44,7 @@ jobs: run: nix build .#plutus-metatheory-site --out-link _site - name: Deploy Site - uses: JamesIves/github-pages-deploy-action@latest + uses: JamesIves/github-pages-deploy-action@v4.6.1 with: folder: _site target-folder: metatheory/${{ inputs.version }} @@ -52,7 +52,7 @@ jobs: - name: Deploy Latest if: ${{ inputs.latest == true }} - uses: JamesIves/github-pages-deploy-action@latest + uses: JamesIves/github-pages-deploy-action@v4.6.1 with: folder: _site target-folder: metatheory/latest From 7859f8770920f3718db501b163a0617d0e7ab011 Mon Sep 17 00:00:00 2001 From: zeme Date: Thu, 20 Jun 2024 12:21:03 +0200 Subject: [PATCH 2/8] upd --- .github/workflows/metatheory-site.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml index 9a1659fd679..d0379787a6b 100644 --- a/.github/workflows/metatheory-site.yml +++ b/.github/workflows/metatheory-site.yml @@ -36,7 +36,7 @@ jobs: name: github-pages steps: - name: Checkout - uses: actions/checkout@latest + uses: actions/checkout@main with: ref: ${{ inputs.version }} From 485037ad96b2795ab4f9195375cbfe8de9aa64fa Mon Sep 17 00:00:00 2001 From: zeme Date: Thu, 20 Jun 2024 12:21:59 +0200 Subject: [PATCH 3/8] upd --- .github/workflows/metatheory-site.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml index d0379787a6b..dff7e93aeab 100644 --- a/.github/workflows/metatheory-site.yml +++ b/.github/workflows/metatheory-site.yml @@ -41,7 +41,7 @@ jobs: ref: ${{ inputs.version }} - name: Build Site - run: nix build .#plutus-metatheory-site --out-link _site + run: nix build --accept-flake-config .#plutus-metatheory-site --out-link _site - name: Deploy Site uses: JamesIves/github-pages-deploy-action@v4.6.1 From a6097b36fcc043cc467e596d2d6c85dc56772573 Mon Sep 17 00:00:00 2001 From: zeme Date: Thu, 20 Jun 2024 12:28:49 +0200 Subject: [PATCH 4/8] Wip --- .github/workflows/metatheory-site.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml index dff7e93aeab..0e40a1ba83b 100644 --- a/.github/workflows/metatheory-site.yml +++ b/.github/workflows/metatheory-site.yml @@ -41,7 +41,10 @@ jobs: ref: ${{ inputs.version }} - name: Build Site - run: nix build --accept-flake-config .#plutus-metatheory-site --out-link _site + run: nix build --accept-flake-config .#plutus-metatheory-site + + - name: Copy Result + run: cp -r ./result ./_site - name: Deploy Site uses: JamesIves/github-pages-deploy-action@v4.6.1 From 51151833f44de8ca0c4e699f4220fe519e722043 Mon Sep 17 00:00:00 2001 From: zeme Date: Thu, 20 Jun 2024 12:40:05 +0200 Subject: [PATCH 5/8] wip --- .github/workflows/metatheory-site.yml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml index 0e40a1ba83b..a33640bcb9c 100644 --- a/.github/workflows/metatheory-site.yml +++ b/.github/workflows/metatheory-site.yml @@ -41,10 +41,9 @@ jobs: ref: ${{ inputs.version }} - name: Build Site - run: nix build --accept-flake-config .#plutus-metatheory-site - - - name: Copy Result - run: cp -r ./result ./_site + run: | + nix build --accept-flake-config .#plutus-metatheory-site + cp -RL ./result/* ./_site - name: Deploy Site uses: JamesIves/github-pages-deploy-action@v4.6.1 From 77686f64c2566570e495a5b8988da601eed56636 Mon Sep 17 00:00:00 2001 From: zeme Date: Thu, 20 Jun 2024 12:41:45 +0200 Subject: [PATCH 6/8] 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 From 048eee1bad16ff94a445a74c983c6ad5e147ec9b Mon Sep 17 00:00:00 2001 From: zeme Date: Thu, 20 Jun 2024 12:43:30 +0200 Subject: [PATCH 7/8] wip --- .github/workflows/metatheory-site.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml index 0c6b0eb4c84..a9ec1a8a0d3 100644 --- a/.github/workflows/metatheory-site.yml +++ b/.github/workflows/metatheory-site.yml @@ -43,7 +43,8 @@ jobs: - name: Build Site run: | nix build --accept-flake-config .#plutus-metatheory-site - cp -RL ./result/* ./_site + mkdir _site + cp -RL result/* _site - name: Deploy Site uses: JamesIves/github-pages-deploy-action@v4.6.1 From 3af4e367e18ca0170b3f9f4d1ca6675c762b49d9 Mon Sep 17 00:00:00 2001 From: zeme Date: Thu, 20 Jun 2024 12:50:02 +0200 Subject: [PATCH 8/8] release updates --- RELEASE.adoc | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/RELEASE.adoc b/RELEASE.adoc index 797060bd304..2c692dc72ff 100644 --- a/RELEASE.adoc +++ b/RELEASE.adoc @@ -98,6 +98,11 @@ Another example is if a security audit is done on `rc1`, and the changes in `rc2 - This will automatically open a PR in `plutus-tx-template` with auto-merge enabled - Ensure that CI is green and the PR gets merged +10. Publish the updated Metatheory site +- Navigate to the https://github.com/IntersectMBO/plutus/actions/workflows/metatheory-site.yml[Metatheory Site Action] on GitHub +- Click the `Run workflow` button on the right, enter the new release version and confirm +- Ensure that the action completes successfully + === Patch Releases Suppose we are releasing version `x.y.z.w`.