Skip to content

Commit c5f36dc

Browse files
committed
remove patch for mps
1 parent 1222a47 commit c5f36dc

File tree

2 files changed

+0
-13
lines changed

2 files changed

+0
-13
lines changed

.github/workflows/daily-mps.yml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,6 @@ jobs:
4646
with:
4747
name: mps-${{ matrix.build_native_comp == 'no' && 'no_native_comp' || 'native_comp' }}
4848
branch: scratch/igc
49-
patch: mps-xfaces-label.patch
5049
build_gui: ${{ matrix.build_gui }}
5150
build_native_comp: ${{ matrix.build_native_comp }}
5251
do_test: false

patch/mps-xfaces-label.patch

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

0 commit comments

Comments
 (0)