Properly name the GitHub workflows.

This commit is contained in:
2023-04-22 23:25:36 -07:00
parent 9b0c174df4
commit fbe8246f52
2 changed files with 2 additions and 0 deletions

View File

@ -1,3 +1,4 @@
name: core
on: [push]
jobs:
build:

View File

@ -1,3 +1,4 @@
name: java
on: [push]
jobs:
build: