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>2021-07-24 01:16:28 +0300
committerKenneth Heafield <github@kheafield.com>2021-07-24 01:16:28 +0300
commitf1f59bb3b32aad5686eeb41c742279d47be71ce8 (patch)
treed1f59a648e0c9d481755386846624b50b5f2a818
parente39842f7d1ba745b576056391c708b1dd763a058 (diff)
Fix name for Ubuntu with -fno-exceptions
-rw-r--r--.github/workflows/ubuntu-noexceptions.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ubuntu-noexceptions.yml b/.github/workflows/ubuntu-noexceptions.yml
index ddbe216..371df05 100644
--- a/.github/workflows/ubuntu-noexceptions.yml
+++ b/.github/workflows/ubuntu-noexceptions.yml
@@ -1,4 +1,4 @@
-name: Ubuntu
+name: Ubuntu no exceptions
on:
push: