diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 56c81ab963..7005469796 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -106,7 +106,7 @@ typecheck-testsuite: - lint # We allow the submodule checker to fail when run on merge requests (to -# accomodate, e.g., haddock changes not yet upstream) but not on `master` or +# accommodate, e.g., haddock changes not yet upstream) but not on `master` or # Marge jobs. .lint-submods: <<: *only-default |