Rename CI pipeline name

This commit is contained in:
Glenn Y. Rolland 2020-03-03 22:01:33 +01:00
parent c1a7e3fe2a
commit 338b38a339
2 changed files with 2 additions and 2 deletions

View file

@ -1,5 +1,5 @@
--- ---
name: Crystal CI name: Build
on: [push] on: [push]

View file

@ -1,6 +1,6 @@
# Pushokku # Pushokku
![Build](https://github.com/glenux/pushokku/workflows/Crystal%20CI/badge.svg) ![Build](https://github.com/glenux/pushokku/workflows/Build/badge.svg)
Push docker image to remote dokku server then deploy it Push docker image to remote dokku server then deploy it