Skip to content

Commit

Permalink
Delete the add version picker GHA workflow
Browse files Browse the repository at this point in the history
The workflow has been run successfully and the version picker added to
the documentation. We can now delete this workflow.
  • Loading branch information
anoadragon453 committed Dec 18, 2023
1 parent 742bae3 commit a073ba4
Showing 1 changed file with 0 additions and 90 deletions.
90 changes: 0 additions & 90 deletions .github/workflows/docs-add-version-picker.yaml

This file was deleted.

0 comments on commit a073ba4

Please sign in to comment.