Skip to content

Commit 1d8b915

Browse files
michaelcobb-capablehubmichaelcobb-capablehub
committed
TEMP: disable all checks except sel4test-sim
Signed-Off-By: Michael Cobb (The Capable Hub) <mcobb@thegoodpenguin.co.uk>
1 parent c83b4b2 commit 1d8b915

13 files changed

.github/workflows/cheri-sel4exercises.yml renamed to .github/workflows/cheri-sel4exercises.yml.old

File renamed without changes.

.github/workflows/cheri-sel4microkittest.yml renamed to .github/workflows/cheri-sel4microkittest.yml.old

File renamed without changes.

.github/workflows/compilation-checks.yml renamed to .github/workflows/compilation-checks.yml.old

File renamed without changes.

.github/workflows/cparser.yml renamed to .github/workflows/cparser.yml.old

File renamed without changes.

.github/workflows/hw-tests.yml renamed to .github/workflows/hw-tests.yml.old

File renamed without changes.

.github/workflows/manual.yml renamed to .github/workflows/manual.yml.old

File renamed without changes.

.github/workflows/pr.yml renamed to .github/workflows/pr.yml.old

File renamed without changes.

.github/workflows/preprocess-deploy.yml renamed to .github/workflows/preprocess-deploy.yml.old

File renamed without changes.

.github/workflows/proof.yml renamed to .github/workflows/proof.yml.old

File renamed without changes.

.github/workflows/push.yml renamed to .github/workflows/push.yml.old

File renamed without changes.

0 commit comments

Comments
 (0)