Skip to content

.gitlab-ci.yml: add "duneci" tag to spellcheck

Ansgar Burchardt requested to merge ansgar/dune-functions:master into master

The shared runner might not pick up the job otherwise.

Merge request reports