Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/marian-nmt/intgemm/intgemm.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKenneth Heafield <github@kheafield.com>2020-09-15 23:57:30 +0300
committerKenneth Heafield <github@kheafield.com>2020-09-15 23:57:30 +0300
commitcf2ef83dde1743171ab7baba810ae33e50b56577 (patch)
tree9ff2b8252f13f7ba2fe1101970f522a777eb04f4
parentf897e67e4698bb519d257c50bdccefa990dedd86 (diff)
Name gcc5 workflow correctly
-rw-r--r--.github/workflows/ubuntu-gcc5.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ubuntu-gcc5.yml b/.github/workflows/ubuntu-gcc5.yml
index 226163c..e160849 100644
--- a/.github/workflows/ubuntu-gcc5.yml
+++ b/.github/workflows/ubuntu-gcc5.yml
@@ -1,4 +1,4 @@
-name: Ubuntu
+name: Ubuntu gcc5
on:
push: