Mirrors/ratatui
2
0
Fork 0
mirror of https://github.com/ratatui-org/ratatui synced 2024-11-10 07:04:17 +00:00
Code Issues Projects Releases Packages Wiki Activity

chore(ci): update the name of the CI workflow (#417)

Browse source
This commit is contained in:
Orhun Parmaksız 2023-08-19 15:14:01 +02:00 committed by GitHub
parent 4cd843eda9
commit 89ef0e29f5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View file

@ -1,4 +1,4 @@
name: CI
name: Continuous Integration
on:
# Allows you to run this workflow manually from the Actions tab