Skip to content

Commit

Permalink
Devops: remove obsolete release.sh (#115)
Browse files Browse the repository at this point in the history
This ad-hoc release script will be replaced with a continuous
deployment workflow on Github Action.
  • Loading branch information
sphuber committed Oct 13, 2022
1 parent 3806a9e commit 082e781
Showing 1 changed file with 0 additions and 54 deletions.
54 changes: 0 additions & 54 deletions release.sh

This file was deleted.

0 comments on commit 082e781

Please sign in to comment.