Change CI group identifiers. (#484)

This commit is contained in:
Felix Fontein
2022-10-10 22:39:27 +02:00
committed by GitHub
parent 1e93feed2b
commit ac606cd2bf
38 changed files with 40 additions and 62 deletions
@@ -2,6 +2,6 @@
# GNU General Public License v3.0+ (see LICENSES/GPL-3.0-or-later.txt or https://www.gnu.org/licenses/gpl-3.0.txt)
# SPDX-License-Identifier: GPL-3.0-or-later
shippable/posix/group4
azp/4
skip/docker # coverage does not work if we're inside a docker container, since we cannot access this container's /tmp dir from the new container
destructive