Delete old GitHub 'dev' release when creating a new one (#256)

bytecodealliance · Aug 6, 2019 · 45c2805 · 45c2805
1 parent 5fc2d82
commit 45c2805
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.azure-pipelines.yml b/.azure-pipelines.yml
@@ -231,7 +231,6 @@ jobs:
     inputs:
       gitHubConnection: 'tschneidereit-releases'
       repositoryName: 'cranestation/wasmtime'
-      action: 'edit'
       target: '$(Build.SourceVersion)'
       tagSource: 'manual'
       tag: '$(tagName)'
@@ -244,7 +243,13 @@ jobs:
     inputs:
       gitHubConnection: 'tschneidereit-releases'
       repositoryName: 'cranestation/wasmtime'
-      action: 'edit'
+      action: 'delete'
+      tag: 'dev'
+    condition: eq(variables['Build.SourceBranch'], 'refs/heads/master')
+  - task: GitHubRelease@0
+    inputs:
+      gitHubConnection: 'tschneidereit-releases'
+      repositoryName: 'cranestation/wasmtime'
       target: '$(Build.SourceVersion)'
       tag: 'dev'
       title: 'Latest CI build'