Merge pull request #1186 from 64/delete-old-workflwos

ci: delete old workflows
managarm · Nov 13, 2024 · c906cb5 · c906cb5
2 parents 8c61472 + 982826d
commit c906cb5
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 27 deletions.
diff --git a/.github/workflows/detect-bad-ifs.yml b/.github/workflows/detect-bad-ifs.yml
diff --git a/.github/workflows/detect-missing-mlibc-config.yml b/.github/workflows/detect-missing-mlibc-config.yml