Skip to content

Commit 7eb2544

Browse files
authored
ci: enable new libmcs test from c2rust-testsuite (#1470)
This was just added in immunant/c2rust-testsuite#23, but it needs this change in the `c2rust` repo to actually test it in CI.
2 parents 8001582 + e589e45 commit 7eb2544

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/internal-testsuite.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -119,7 +119,7 @@ jobs:
119119
export C2RUST_DIR=$PWD
120120
# Needs to be run from `testsuite/` (or further inside)
121121
# to correctly load the `pyproject.toml`.
122-
(cd testsuite && ./test.py curl json-c lua nginx zstd libxml2 python2)
122+
(cd testsuite && ./test.py curl json-c lua nginx zstd libxml2 python2 libmcs)
123123
124124
- uses: actions/upload-artifact@v4
125125
with:

0 commit comments

Comments
 (0)