fix workflow names

jan-janssen · May 9, 2024 · b844b24 · b844b24
1 parent 3a25402
commit b844b24
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,4 +1,4 @@
-name: Binder
+name: build
 on: [push]
 
 jobs:

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -1,4 +1,4 @@
-name: Binder
+name: push
 on:
   push:
     branches: