From 68e45815b9d088fb4d5f2302ac404a81095f00e5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= Date: Mon, 15 Jun 2020 20:13:22 +0000 Subject: Remove old workflows, change description of the workflow --- .github/workflows/properties/publish.properties.json | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 .github/workflows/properties/publish.properties.json (limited to '.github/workflows/properties/publish.properties.json') diff --git a/.github/workflows/properties/publish.properties.json b/.github/workflows/properties/publish.properties.json deleted file mode 100644 index fa9b8cd..0000000 --- a/.github/workflows/properties/publish.properties.json +++ /dev/null @@ -1,6 +0,0 @@ -{ - "name": "Publish", - "description": "Publish the books and docs.", - "iconName": "rust", - "categories": ["Rust"] -} -- cgit v1.2.3