Skip to content
This repository was archived by the owner on Mar 11, 2025. It is now read-only.

Commit b631d42

Browse files
committed
CI: Remove CI files for removed programs
1 parent 5afaf6f commit b631d42

15 files changed

+0
-1074
lines changed

.github/workflows/pull-request-feature-proposal.yml

Lines changed: 0 additions & 64 deletions
This file was deleted.

.github/workflows/pull-request-instruction-padding.yml

Lines changed: 0 additions & 62 deletions
This file was deleted.

.github/workflows/pull-request-record.yml

Lines changed: 0 additions & 60 deletions
This file was deleted.

.github/workflows/pull-request-single-pool.yml

Lines changed: 0 additions & 132 deletions
This file was deleted.

0 commit comments

Comments
 (0)