Skip to content

Commit

Permalink
Merge pull request #12435 from pradyunsg/remove-ramdisk
Browse files Browse the repository at this point in the history
Remove the RAMDisk generation script
  • Loading branch information
sbidoul authored Dec 17, 2023
2 parents bdbe422 + 7d10a0d commit 92dd553
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 92dd553

Please sign in to comment.