diff options
Diffstat (limited to '.github/workflows/properties/publish.properties.json')
| -rw-r--r-- | .github/workflows/properties/publish.properties.json | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/properties/publish.properties.json b/.github/workflows/properties/publish.properties.json new file mode 100644 index 0000000..fa9b8cd --- /dev/null +++ b/.github/workflows/properties/publish.properties.json @@ -0,0 +1,6 @@ +{ + "name": "Publish", + "description": "Publish the books and docs.", + "iconName": "rust", + "categories": ["Rust"] +} |