From 02de8d17ee5e6662844e06c2c3b50e576169682d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Fri, 12 Apr 2024 14:44:52 +0200
Subject: [PATCH] Disable W3C publish workflow
---
.github/workflows/w3c-publish.yml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/.github/workflows/w3c-publish.yml b/.github/workflows/w3c-publish.yml
index eeade04eb..2d49ffbb0 100644
--- a/.github/workflows/w3c-publish.yml
+++ b/.github/workflows/w3c-publish.yml
@@ -11,6 +11,9 @@ on:
jobs:
publish-to-w3c-TR:
runs-on: ubuntu-latest
+ # TODO(dhil): The following effectively disables this workflow. It
+ # should be removed before merging with upstream.
+ if: false
steps:
- name: Checkout repo
uses: actions/checkout@v2