Remove old workflow files

digraphs · May 9, 2024 · 87d9a00 · 87d9a00
1 parent 56b7c5d
commit 87d9a00
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 508 deletions.
diff --git a/.github/workflows/gap.yml b/.github/workflows/gap.yml
diff --git a/ci/azure-gap.sh b/ci/azure-gap.sh
diff --git a/ci/coverage.py b/ci/coverage.py