- remove unnecessary work flows

bernd-edlinger · Feb 19, 2024 · d86816a · d86816a
1 parent a768a79
commit d86816a
Show file tree

Hide file tree

Showing 16 changed files with 0 additions and 2,571 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
diff --git a/.github/workflows/compiler-zoo.yml b/.github/workflows/compiler-zoo.yml
diff --git a/.github/workflows/coveralls.yml b/.github/workflows/coveralls.yml