.gitlab-ci.yml · master · Andrey Mokhov / GHC · GitLab

Sep 24, 2021
87bd9a67
gitlab-ci: Introduce no_tntc job · 87bd9a67
Ben Gamari authored Sep 24, 2021 and Marge Bot committed Dec 01, 2021
```
A manual job for testing the non-tables-next-to-code configuration.
```
87bd9a67
gitlab-ci: Introduce no_tntc job
Ben Gamari authored Sep 24, 2021 and Marge Bot committed Dec 01, 2021
```
A manual job for testing the non-tables-next-to-code configuration.
```

Validating GitLab CI configuration… Learn more