search

mmtk / mmtk-core

Memory Management ToolKit
https://www.mmtk.io
Other
379 stars 69 forks source link

Fix ignores in merge check #1117

Closed qinsoon closed 7 months ago

qinsoon commented 7 months ago

We renamed CI tests in https://github.com/mmtk/mmtk-core/pull/1073, but forgot to rename them in the ignored list for the merge check. This PR fixes this.