Eliminate Gulp - #1

Merged

guw merged 5 commits into

mainfrom

gunnar/fix_gulpfile_to_not_mangle_jars

Nov 28, 2025

GitHub Actions / Test Results completed Nov 27, 2025 in 0s

No tests found

0 tests ±0 0 ✅ ±0 0s ⏱️ ±0s
0 suites ±0 0 💤 ±0
0 files ±0 0 ❌ ±0

Results for commit 0ee026a. ± Comparison against earlier commit a6206a5.

View more details on GitHub Actions