Rename GitHub workflows

2026-09-14 23:26:11 -04:00 · 2019-12-17 23:10:47 +01:00
parent e251089d2c
commit ce1ec0be2e
4 changed files with 5 additions and 5 deletions
@@ -1,11 +1,11 @@
+name: Create GitHub release
+
 on:
  push:
    # Sequence of patterns matched against refs/tags
    tags:
      - 'v*' # Push events to matching v*, i.e. v1.0, v20.15.10

-name: Create Release
-
 jobs:
  build:
    name: Create Release