Skip to content

Commit

Permalink
Remove the RAMDisk generation script
Browse files Browse the repository at this point in the history
This is no longer used in CI.
  • Loading branch information
pradyunsg committed Dec 14, 2023
1 parent a15dd75 commit 7d10a0d
Showing 1 changed file with 0 additions and 74 deletions.
74 changes: 0 additions & 74 deletions tools/ci/New-RAMDisk.ps1

This file was deleted.

0 comments on commit 7d10a0d

Please sign in to comment.