From 199f3efae1dab2bdf7ed11fe642d042466811490 Mon Sep 17 00:00:00 2001 From: zeme Date: Thu, 26 Sep 2024 12:02:39 +0200 Subject: [PATCH 1/3] Separate Metatheory Site Build and Deploy Steps --- .github/workflows/docusaurus-site.yml | 2 +- .github/workflows/metatheory-site.yml | 5 ++++- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docusaurus-site.yml b/.github/workflows/docusaurus-site.yml index f9016c6625f..93171998f14 100644 --- a/.github/workflows/docusaurus-site.yml +++ b/.github/workflows/docusaurus-site.yml @@ -28,7 +28,7 @@ jobs: run: nix develop --no-warn-dirty --accept-flake-config --command bash -c 'yarn && yarn build' - name: Deploy Site - if: github.event_name == 'push' + if: ${{ github.event_name == 'push' }} uses: JamesIves/github-pages-deploy-action@v4.6.4 with: folder: doc/docusaurus/build diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml index e5d484cc013..ce0606cf0a7 100644 --- a/.github/workflows/metatheory-site.yml +++ b/.github/workflows/metatheory-site.yml @@ -8,6 +8,8 @@ name: "🔮 Metatheory Site" on: + pull_request: + push: branches: - master @@ -59,6 +61,7 @@ jobs: cp -RL result/* _metatheory - name: Deploy Site + if: ${{ github.event_name == 'push' }} uses: JamesIves/github-pages-deploy-action@v4.6.4 with: folder: _metatheory @@ -66,7 +69,7 @@ jobs: single-commit: true - name: Deploy Site (latest) - if: ${{ inputs.latest == true }} + if: ${{ github.event_name == 'push' && inputs.latest == true }} uses: JamesIves/github-pages-deploy-action@v4.6.4 with: folder: _metatheory From 9f758f2cfc472a7fc6c3d102108e925bb4ae6c05 Mon Sep 17 00:00:00 2001 From: zeme Date: Thu, 26 Sep 2024 12:22:09 +0200 Subject: [PATCH 2/3] wip --- .github/workflows/metatheory-site.yml | 3 +-- scripts/check-broken-links.sh | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml index ce0606cf0a7..d62a8b777b3 100644 --- a/.github/workflows/metatheory-site.yml +++ b/.github/workflows/metatheory-site.yml @@ -8,11 +8,10 @@ name: "🔮 Metatheory Site" on: - pull_request: - push: branches: - master + pull_request: workflow_dispatch: inputs: diff --git a/scripts/check-broken-links.sh b/scripts/check-broken-links.sh index 72e707b71c2..95ba999a94e 100755 --- a/scripts/check-broken-links.sh +++ b/scripts/check-broken-links.sh @@ -1,7 +1,7 @@ TARGETS=( .github/{ISSUE_TEMPLATE/*,*.md,*.yml} **/{LICENSE,NOTICE,README.md,TRIAGE.md} - CODE_OF_CONDUCT.md + *.md *.adoc ) From ab9a0265a096a28929f26b8fc538820eb2b46b4a Mon Sep 17 00:00:00 2001 From: zeme Date: Mon, 30 Sep 2024 11:54:15 +0200 Subject: [PATCH 3/3] wip --- .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 d62a8b777b3..fc18a9feeb1 100644 --- a/.github/workflows/metatheory-site.yml +++ b/.github/workflows/metatheory-site.yml @@ -40,8 +40,8 @@ on: default: true jobs: - deploy: - name: Deploy + run: + name: Run runs-on: [self-hosted, plutus-shared] permissions: contents: write