UPDATE: Remove docs artifacts that are not needed anymore

generate_docs.rs was used to bootstrap the documentatio effords

Unlikely to be used on a regular basis
This commit is contained in:
Nicolás Hatcher
2024-11-25 18:02:14 +01:00
committed by Nicolás Hatcher Andrés
parent b3d4c479f6
commit 94ebf33656
18 changed files with 0 additions and 867 deletions

View File

@@ -1,18 +0,0 @@
name: Publish wiki
on:
push:
branches: [main]
paths:
- wiki/**
- .github/workflows/publish-wiki.yml
concurrency:
group: publish-wiki
cancel-in-progress: true
permissions:
contents: write
jobs:
publish-wiki:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: Andrew-Chen-Wang/github-wiki-action@v4