Skip to content

Commit

Permalink
Remove old ci scripts
Browse files Browse the repository at this point in the history
  • Loading branch information
MEhrn00 committed Aug 18, 2024
1 parent d730ccc commit 835fc23
Show file tree
Hide file tree
Showing 11 changed files with 0 additions and 565 deletions.
56 changes: 0 additions & 56 deletions .github/scripts/linux/checkformat.sh

This file was deleted.

41 changes: 0 additions & 41 deletions .github/scripts/linux/ci.sh

This file was deleted.

104 changes: 0 additions & 104 deletions .github/scripts/linux/coverage.sh

This file was deleted.

56 changes: 0 additions & 56 deletions .github/scripts/linux/lint.sh

This file was deleted.

47 changes: 0 additions & 47 deletions .github/scripts/linux/sanitizers.sh

This file was deleted.

54 changes: 0 additions & 54 deletions .github/scripts/linux/test.sh

This file was deleted.

Loading

0 comments on commit 835fc23

Please sign in to comment.