Skip to content

Commit

Permalink
Don't verify Bindgen as part of ModGC CI
Browse files Browse the repository at this point in the history
  • Loading branch information
eightbitraptor committed Dec 5, 2024
1 parent e3b11ee commit 13901a2
Showing 1 changed file with 0 additions and 11 deletions.
11 changes: 0 additions & 11 deletions .github/workflows/modgc.yml
Original file line number Diff line number Diff line change
Expand Up @@ -138,17 +138,6 @@ jobs:
make shared-gc SHARED_GC=${{ matrix.gc.name }} MMTK_BUILD=${{ matrix.gc.mmtk_build }}
make distclean-shared-gc SHARED_GC=${{ matrix.gc.name }}
- name: Verify MMTk bindgen
run: |
cd ../src/gc/mmtk
cargo install --force cbindgen
cbindgen --config cbindgen.toml --output ../mmtk.h
if read -n1 -d '' < <(git diff ../mmtk.h); then
git diff ../mmtk.h
exit 1
fi
if: ${{ matrix.gc.name == 'mmtk' }}

- run: |
$SETARCH make golf
case "${{ matrix.configure }}" in
Expand Down

0 comments on commit 13901a2

Please sign in to comment.